pineapple-src/externals/vcpkg/ports/minisat-master-keying/vcpkg.json
2022-07-23 03:01:36 +02:00

19 lines
433 B
JSON
Executable file

{
"name": "minisat-master-keying",
"version": "2.3.6",
"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
}
]
}