Package cryptominisat4

SAT solver

http://www.msoos.org/cryptominisat4/

CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver. Highlights:
- Instance simplification at every point of the search (inprocessing)
- Over 100 configurable parameters to tune to specific needs
- Collection of statistical data to MySQL database + javascript-based
  visualization of it
- Clean C++ and python interfaces
General Commands
Command Description
cryptominisat4 conflict-driven SAT solver