mirror of
https://github.com/microsoft/vcpkg.git
synced 2025-01-14 03:18:06 +08:00
8 lines
186 B
JSON
8 lines
186 B
JSON
|
{
|
||
|
|
"name": "z3",
|
||
|
|
"version-semver": "4.8.10",
|
||
|
|
"description": "Z3 is a theorem prover from Microsoft Research",
|
||
|
|
"homepage": "https://github.com/Z3Prover/z3",
|
||
|
|
"supports": "!uwp"
|
||
|
|
}
|