The-Homebrew-Cloud/cemu-vcpkg
2
0
Fork 0
mirror of https://github.com/cemu-project/vcpkg.git synced 2025-02-24 11:37:12 +01:00
Code Issues Packages Projects Releases Wiki Activity
cemu-vcpkg/ports/z3/CONTROL

4 lines
53 B
Plaintext
Raw Normal View History

add Z3 package (#5564) * 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
2019-03-09 03:00:48 +00:00
Source: z3
[z3] bump version to 4.8.5 (#6803)
2019-06-07 02:53:20 +01:00
Version: 4.8.5
add Z3 package (#5564) * 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
2019-03-09 03:00:48 +00:00
Description: An SMT solver
Reference in New Issue Copy Permalink