mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-01 14:51:49 +08:00
21 lines
454 B
JSON
21 lines
454 B
JSON
{
|
|
"name": "minisat-master-keying",
|
|
"version": "2.3.6",
|
|
"port-version": 1,
|
|
"description": [
|
|
"A minimalistic high-performance SAT solver",
|
|
"This is a modernized, cross-platform, CMake-enabled fork of the original MiniSat."
|
|
],
|
|
"homepage": "https://github.com/master-keying/minisat",
|
|
"dependencies": [
|
|
{
|
|
"name": "vcpkg-cmake",
|
|
"host": true
|
|
},
|
|
{
|
|
"name": "vcpkg-cmake-config",
|
|
"host": true
|
|
}
|
|
]
|
|
}
|