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#1
Jun 14, 2023
All
master-keying/minisat141
github.com/master-keying/minisat
d6116fe596
Complex license
Manifest