4 releases
| new 0.1.3 | Jan 16, 2025 |
|---|---|
| 0.1.2 | Jan 16, 2025 |
| 0.1.1 | Dec 7, 2024 |
| 0.1.0 | Oct 21, 2024 |
#1616 in Algorithms
187 downloads per month
Used in 4 crates
5KB
Satif
SAT solver interface
Dependencies
~2–11MB
~135K SLoC
| new 0.1.3 | Jan 16, 2025 |
|---|---|
| 0.1.2 | Jan 16, 2025 |
| 0.1.1 | Dec 7, 2024 |
| 0.1.0 | Oct 21, 2024 |
#1616 in Algorithms
187 downloads per month
Used in 4 crates
5KB
SAT solver interface
~2–11MB
~135K SLoC