A minimalistic and high-performance SAT solver
Run the following Vcpkg command to install the port.
vcpkg install minisat-master-keying
Usage details are not available for this port.
v2.2-mod-2#0
Oct 28, 2020
All
master-keying/minisat141
github.com/master-keying/minisat
09a647a526
Complex license
Control