1 unstable release
| 0.1.0 | Oct 21, 2024 |
|---|
#1287 in Algorithms
173 downloads per month
Used in 2 crates
3KB
Satif
SAT solver interface
Dependencies
~1–1.7MB
~30K SLoC
| 0.1.0 | Oct 21, 2024 |
|---|
#1287 in Algorithms
173 downloads per month
Used in 2 crates
3KB
SAT solver interface
~1–1.7MB
~30K SLoC