ada@gentoo.org Build shared library Build static library with pic code Implementation of a DPLL-based SAT solver in Ada. Main features: Conflict analysis and backjumping Two-watched literals scheme Built-in support for At-Most-One constraints Custom theories AdaCore/AdaSAT