winget install --id PolarGoose.minisatAbout minisat
A minimalistic and high-performance SAT solver
What's new in 2.2
No release notes provided.
Version history
| Version | Updated | Notes |
|---|---|---|
| 2.2 | Unknown | No notes |
← Package directory
Available on winget
Install minisat
A minimalistic and high-performance SAT solver
winget upgrade --id PolarGoose.minisatwinget uninstall --id PolarGoose.minisat