CryptoMiniSat

GPTKB entity

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