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

© 2025 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:
winget install --id=PolarGoose.minisat -e

A minimalistic and high-performance SAT solver

Versions
2.2
License
Last Updated
7/13/2025