5 unstable releases
| 0.3.0 | Jan 1, 2020 |
|---|---|
| 0.2.3 | Oct 9, 2019 |
| 0.2.2 | Sep 30, 2019 |
| 0.2.1 | Sep 28, 2019 |
| 0.1.0 | Sep 19, 2019 |
#1122 in Math
230KB
5K
SLoC
rate
Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results
Dependencies
~11MB
~196K SLoC