minisat-master-keying 2.3.6#1

A minimalistic high-performance SAT solver,This is a modernized, cross-platform, CMake-enabled fork of the original MiniSat.

Dependencies

Not used by any other package

No Features

This package supports the following triplets:

Supported on all triplets

In classic mode, run the following vcpkg command:

 vcpkg install minisat-master-keying

In manifest mode, run the following vcpkg command in your project directory:

 vcpkg add port minisat-master-keying