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.