2 releases
| 0.1.1 | Dec 7, 2024 |
|---|---|
| 0.1.0 | Oct 21, 2024 |
#2384 in Algorithms
189 downloads per month
Used in 4 crates
3KB
Satif
SAT solver interface
Dependencies
~2–10MB
~123K SLoC
| 0.1.1 | Dec 7, 2024 |
|---|---|
| 0.1.0 | Oct 21, 2024 |
#2384 in Algorithms
189 downloads per month
Used in 4 crates
3KB
SAT solver interface
~2–10MB
~123K SLoC