ZIP
WinGet
minisat
PolarGoose / niklasso · 2.2 · x64
Before deploying, verify this file with VirusTotal ↗
Silent Commands
Distributed as a ZIP archive — extract the contents and run the executable directly. No installer is included.
File Identity
Filename
minisat.zip
Signature
Status
Upload installer to verify signature
WinGet Package
Package ID
PolarGoose.minisat
Version
2.2
Description
A minimalistic and high-performance SAT solver
License
MIT