mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-11-28 13:31:06 +08:00
45fadafed0
* add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP
4 lines
53 B
Plaintext
4 lines
53 B
Plaintext
Source: z3
|
|
Version: 4.8.4
|
|
Description: An SMT solver
|