Package cryptominisat

SAT solver

https://www.msoos.org/

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

Version: 5.11.21

General Commands

cryptominisat5 manual page for cryptominisat5 5.11.21