mirror of
https://github.com/cemu-project/vcpkg.git
synced 2025-02-23 11:07:10 +01: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
|