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
|