minisat
A minimalistic and high-performance SAT solver
winget install --id PolarGoose.minisat --exact --source winget Latest 2.2
| Architecture | Scope | Download | SHA256 |
|---|---|---|---|
x64 | — | Download | 17467b8e38d71b22c95e1d757c8c495aeb3af43405a8c2fbf2f790ba57c60745 |
Details
- License
- MIT
- Publisher
- PolarGoose / niklasso