pineapple/externals/vcpkg/ports/z3/vcpkg.json
2022-07-23 03:01:36 +02:00

18 lines
352 B
JSON
Executable file

{
"name": "z3",
"version": "4.8.16",
"description": "Z3 is a theorem prover from Microsoft Research",
"homepage": "https://github.com/Z3Prover/z3",
"license": "MIT",
"supports": "!uwp",
"dependencies": [
{
"name": "vcpkg-cmake",
"host": true
},
{
"name": "vcpkg-cmake-config",
"host": true
}
]
}