8 releases
| 0.2.2 | Feb 19, 2025 |
|---|---|
| 0.2.1 | Feb 19, 2025 |
| 0.1.4 | Feb 9, 2025 |
| 0.1.3 | Jan 16, 2025 |
| 0.1.0 | Oct 21, 2024 |
#1936 in Algorithms
607 downloads per month
Used in 4 crates
7KB
Satif
SAT solver interface
Dependencies
~12–22MB
~392K SLoC
| 0.2.2 | Feb 19, 2025 |
|---|---|
| 0.2.1 | Feb 19, 2025 |
| 0.1.4 | Feb 9, 2025 |
| 0.1.3 | Jan 16, 2025 |
| 0.1.0 | Oct 21, 2024 |
#1936 in Algorithms
607 downloads per month
Used in 4 crates
7KB
SAT solver interface
~12–22MB
~392K SLoC