Version 5.13.0 is available upstream. Please consider updating! It seems that version 5.13.0 is available upstream, while the latest version in the Gentoo tree is 5.11.21-r2. You think this warning is false? Read more about it here.
This system provides CryptoMiniSat, an advanced incremental SAT solver.
The system has 3 interfaces: command-line, C++ library and python.
The command-line interface takes a cnf as an input in the DIMACS format
with the extension of XOR clauses. The C++ and python interface mimics this
and also allows for incremental use: assumptions and multiple solve calls.
Packages