wingetCollections
  • Auto
  • Search
  • Awesome Collections
  • Awesome Programs
  • My Favorite Collections
  • My Collections
  • Account / Settings
  • Terms of Service
  • Privacy
  • About
  • What is WinGet?

© 2026 winget.ragerworks.com

Loading...
Install minisat using WinGet - wingetCollections
  1. Go back
  2. Packages
  3. minisat
minisat logo

minisat PolarGoose / niklasso

Use this command to install minisat with WinGet:
winget install --id=PolarGoose.minisat -e

A minimalistic and high-performance SAT solver

Versions
2.2
License
Last updated
7/13/2025