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