Statements (24)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Boolean satisfiability problem
|
gptkbp:application |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
CryptoMiniSat
|
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 |
crypt
formal verification SAT competitions |
gptkbp:website |
https://github.com/msoos/cryptominisat
|
gptkbp:bfsParent |
gptkb:Boolean_satisfiability_problem
gptkb:SAT_solvers |
gptkbp:bfsLayer |
6
|