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