Difference between revisions of "CryptoMiniSat"
Jump to navigation
Jump to search
(Created page with "Category:SoftwareCategory:SAT {|<!--CONFIGURATION: REQUIRED--> |{{#vardefine:app|cryptominisat}} |{{#vardefine:url|https://github.com/msoos/cryptominisat}} <!--CONFIGU...") |
Moskalenko (talk | contribs) m (Text replacement - "#uppercase" to "uc") |
||
| Line 36: | Line 36: | ||
--> | --> | ||
==System Variables== | ==System Variables== | ||
| − | * HPC_{{ | + | * HPC_{{uc:{{#var:app}}}}_DIR - installation directory |
| − | * HPC_{{ | + | * HPC_{{uc:{{#var:app}}}}_BIN - executable directory |
| − | * HPC_{{ | + | * HPC_{{uc:{{#var:app}}}}_INC - include directory |
<!--Configuration--> | <!--Configuration--> | ||
Revision as of 21:00, 6 December 2019
Description
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.
Required Modules
Serial
- gcc/5.2.0
- cryptominisat
System Variables
- HPC_CRYPTOMINISAT_DIR - installation directory
- HPC_CRYPTOMINISAT_BIN - executable directory
- HPC_CRYPTOMINISAT_INC - include directory