Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:application |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:citation |
Soos, Mate, et al. 'CryptoMiniSat v2.5.0.' SAT Competition 2011.
|
| gptkbp:developer |
gptkb:Mate_Soos
|
| gptkbp:feature |
incremental solving
parallel solving CNF input support DIMACS format support XOR clause handling |
| gptkbp:firstReleased |
2009
|
| gptkbp:latestReleaseVersion |
2023-01-10
5.8.0 |
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:programmingLanguage |
gptkb:C++
|
| gptkbp:repository |
https://github.com/msoos/cryptominisat
|
| gptkbp:usedIn |
gptkb:crypt
formal verification SAT competitions |
| gptkbp:website |
https://github.com/msoos/cryptominisat
|
| gptkbp:bfsParent |
gptkb:CDCL_algorithm
gptkb:CDCL_SAT_solvers gptkb:SAT_solvers |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
CryptoMiniSat
|