Version 26.0.0 is available upstream. Please consider updating! It seems that version 26.0.0 is available upstream, while the latest version in the Gentoo tree is 25.0.0. You think this warning is false? Read more about it here.
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
Packages