Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Boolean satisfiability problem
|
| gptkbp:application |
Boolean satisfiability problem
|
| gptkbp:citation |
A. Biere. CaDiCaL, Lingeling, Plingeling, Treengeling and YalSAT Entering the SAT Competition 2017. Proceedings of SAT Competition 2017.
|
| gptkbp:developer |
gptkb:Armin_Biere
|
| gptkbp:firstReleased |
2017
|
| gptkbp:format |
gptkb:DIMACS_CNF
|
| https://www.w3.org/2000/01/rdf-schema#label |
CaDiCaL
|
| gptkbp:latestReleaseVersion |
1.9.4
|
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:programmingLanguage |
gptkb:C++
|
| gptkbp:relatedTo |
gptkb:Lingeling
gptkb:Kissat |
| gptkbp:repository |
https://github.com/arminbiere/cadical
|
| gptkbp:usedIn |
SAT competitions
|
| gptkbp:website |
https://github.com/arminbiere/cadical
|
| gptkbp:bfsParent |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:bfsLayer |
6
|