3 releases
| new 0.1.2 | Dec 16, 2024 |
|---|---|
| 0.1.1 | Dec 7, 2024 |
| 0.1.0 | Dec 7, 2024 |
#851 in Math
476 downloads per month
Used in ric3
1.5MB
38K
SLoC
Rust wrapper for the CaDiCaL SAT solver
Dependencies
~3–12MB
~156K SLoC
| new 0.1.2 | Dec 16, 2024 |
|---|---|
| 0.1.1 | Dec 7, 2024 |
| 0.1.0 | Dec 7, 2024 |
#851 in Math
476 downloads per month
Used in ric3
1.5MB
38K
SLoC
Rust wrapper for the CaDiCaL SAT solver
~3–12MB
~156K SLoC