MiniSat

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf Boolean satisfiability problem
gptkbp:application Boolean satisfiability problem
gptkbp:citation Eén, Niklas, and Niklas Sörensson. 'An extensible SAT-solver.' International conference on theory and applications of satisfiability testing. Springer, Berlin, Heidelberg, 2003.
gptkbp:developer gptkb:Niklas_Eén
gptkb:Niklas_Sörensson
gptkbp:firstReleased 2003
https://www.w3.org/2000/01/rdf-schema#label MiniSat
gptkbp:latestReleaseVersion 2.2.0
2013-03-19
gptkbp:license gptkb:MIT_License
gptkbp:notableFeature simplicity
open source
extensibility
gptkbp:operatingSystem Cross-platform
gptkbp:programmingLanguage gptkb:C++
gptkbp:usedAs core engine for other SAT solvers
gptkbp:usedIn SAT competitions
gptkbp:website http://minisat.se/
gptkbp:bfsParent gptkb:Boolean_satisfiability_problem
gptkbp:bfsLayer 6