winget install --id=niklasso.minisat -e Copy WinGet command to clipboard
A minimalistic and high-performance SAT solver