2 releases
| 0.1.1 | May 25, 2020 |
|---|---|
| 0.1.0 | May 9, 2020 |
#17 in #sat
21KB
527 lines
CDCL SAT solver using 2WL and restarts. THIS CRATE IS NO LONGER MANTAINED. Drop me an email if you want me to transfer the name.
Dependencies
~2MB
~32K SLoC
| 0.1.1 | May 25, 2020 |
|---|---|
| 0.1.0 | May 9, 2020 |
#17 in #sat
21KB
527 lines
CDCL SAT solver using 2WL and restarts. THIS CRATE IS NO LONGER MANTAINED. Drop me an email if you want me to transfer the name.
~2MB
~32K SLoC