minisat
A minimalistic and high-performance SAT solver
winget install --id PolarGoose.minisat --exact --source wingetLatest 2.2
Details
- License
- MIT
- Publisher
- PolarGoose / niklasso
A minimalistic and high-performance SAT solver
winget install --id PolarGoose.minisat --exact --source winget