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.3.6#0
Sep 30, 2021
All
master-keying/minisat141
github.com/master-keying/minisat
25b1d99522
Complex license
Manifest