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. A C compatible wrapper is also provided.

Installation Steps:

1. Open Terminal using Spotlight search by pressing  <command+space>.
   Type terminal and hit  Enter key.
2. Now, run
   ruby -e “$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)” < /dev/null 2> /dev/null
3. Install cryptominisat using brew
   brew instalI cryptominisat

cryptominisat is ready to use now!