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