NEW
: Acacia in C/Python. Last release: December 2011.
Previous versions of Acacia in Perl (no longer maintained). Last release: October 2010.
Antichains
LTL Realizability Check and Winning Strategy Synthesis using