Last released Jul 14, 2026
An extensible framework for building applications around SAT, MaxSAT and related satisfiability technologies.
Supported by
