mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-28 05:57:55 +08:00
10ba60d61f
* [z3] update port to 4.8.8 * update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED
6 lines
153 B
Plaintext
6 lines
153 B
Plaintext
Source: z3
|
|
Version: 4.8.8
|
|
Homepage: https://github.com/Z3Prover/z3
|
|
Description: Z3 is a theorem prover from Microsoft Research.
|
|
Supports: !arm64 && !uwp
|