mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-28 11:21:12 +08:00
fb7b8365fe
* Add a modernized cross-platform fork of MiniSat 2.2 * [minisat-master-keying] Put copyright in correct directory. Lowercase share name.
8 lines
352 B
Plaintext
8 lines
352 B
Plaintext
Source: minisat-master-keying
|
|
Version: 2.2-mod-1
|
|
Description: 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
|