M
Install minisat with winget
PolarGoose.minisat · PolarGoose / niklasso
Install command
winget install -e --id PolarGoose.minisatAbout minisat
A minimalistic and high-performance SAT solver
- Version
- v2.2
- Publisher
- PolarGoose / niklasso
- Source
- winget-pkgs manifest
- Download
- Direct installer (.zip)
- License
- MIT
- Min OS
- Windows 10+
Catalog refreshed: 5/28/2026
Versions
2.2latest