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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

{
  "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
    }
  ]
}