pineapple/externals/vcpkg/ports/minisat-master-keying/vcpkg.json

20 lines
433 B
JSON
Raw Normal View History

2022-07-23 03:01:36 +02:00
{
"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
}
]
}