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#3
Sep 9, 2021
All
master-keying/minisat141
github.com/master-keying/minisat
b295670e4b
Complex license
Manifest