Automata and Applications / Productions

Cosy

A library to exploit symmetries of SAT problems

Painless

A framework for implementation and evaluation of parallel SAT solvers

Spot

A platform for LTL and ω-automata manipulation.