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 |
#61 in #checker
125KB
3K
SLoC
rate-proof-utils
Utilities for clausal proofs (DRAT, DPR)
Dependencies
~11MB
~197K SLoC
| 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 |
#61 in #checker
125KB
3K
SLoC
Utilities for clausal proofs (DRAT, DPR)
~11MB
~197K SLoC