11 releases
| 0.2.5 | Jun 12, 2025 |
|---|---|
| 0.2.4 | Jun 11, 2025 |
| 0.2.2 | Feb 19, 2025 |
| 0.1.4 | Feb 9, 2025 |
| 0.1.0 | Oct 21, 2024 |
#2498 in Algorithms
689 downloads per month
Used in satif-minisat
5KB
Satif
SAT solver interface
Dependencies
~2.7–8.5MB
~177K SLoC
| 0.2.5 | Jun 12, 2025 |
|---|---|
| 0.2.4 | Jun 11, 2025 |
| 0.2.2 | Feb 19, 2025 |
| 0.1.4 | Feb 9, 2025 |
| 0.1.0 | Oct 21, 2024 |
#2498 in Algorithms
689 downloads per month
Used in satif-minisat
5KB
SAT solver interface
~2.7–8.5MB
~177K SLoC