sci-mathematics@gentoo.org Gentoo Mathematics Project 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. https://github.com/msoos/cryptominisat/issues/ msoos/cryptominisat