CryptoMiniSat: Difference between revisions
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..." |
No edit summary |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
[[Category:Software]][[Category: | [[Category:Software]][[Category:Math]] | ||
{|<!--CONFIGURATION: REQUIRED--> | {|<!--CONFIGURATION: REQUIRED--> | ||
|{{#vardefine:app|cryptominisat}} | |{{#vardefine:app|cryptominisat}} | ||
| Line 21: | Line 21: | ||
<!--Modules--> | <!--Modules--> | ||
== | ==Environment Modules== | ||
Run <code>module spider {{#var:app}}</code> to find out what environment modules are available for this application. | |||
< | |||
==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--> | ||
Latest revision as of 14:13, 15 August 2022
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.
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