Revision as of 14:13, 15 August 2022 by Israel.herrera (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


cryptominisat website  

This system provides CryptoMiniSat, an advanced 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++ interface mimics this except that it allows for a more efficient system, with assumptions and multiple solve() calls. A C compatible wrapper is also provided. The python interface provides a high-level yet efficient API to use most of the C++ interface with ease.

Environment Modules

Run module spider cryptominisat to find out what environment modules are available for this application.

System Variables

  • HPC_CRYPTOMINISAT_DIR - installation directory
  • HPC_CRYPTOMINISAT_BIN - executable directory
  • HPC_CRYPTOMINISAT_INC - include directory