vcpkg/ports/z3/CONTROL

Source: z3
Version: 4.8.6
Homepage: https://github.com/Z3Prover/z3
Description: Z3 is a theorem prover from Microsoft Research.
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 11:00:48 +08:00			`Source: z3`
[z3] Update to 4.8.6 (#8899) * [z3]Upgrade to 4.8.6. * [z3]Use `vcpkg_fail_port_install`. 2019-11-23 06:55:05 +08:00			`Version: 4.8.6`
			`Homepage: https://github.com/Z3Prover/z3`
			`Description: Z3 is a theorem prover from Microsoft Research.`