mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-11-28 20:39:00 +08:00
25b1d99522
* Update minisat-master-keying to 2.3.6 * Update CI baseline Co-authored-by: chausner <chausner@users.noreply.github.com>
20 lines
433 B
JSON
20 lines
433 B
JSON
{
|
|
"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
|
|
}
|
|
]
|
|
}
|