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...
  1. Go back
  2. Packages
  3. minisat
minisat logo

minisat PolarGoose / niklasso

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