minisat-master-keying

A minimalistic high-performance SAT solver

This is a modernized, cross-platform, CMake-enabled fork of the

original MiniSat. Since the original library is no longer under

development, post issues and pull requests should be posted to

https://github.com/master-keying/minisat

Run the following Vcpkg command to install the port.

vcpkg install minisat-master-keying

Usage details are not available for this port.