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