CONTROL « z3 « ports - vcpkg - Forked from https://github.com/microsoft/vcpkg

about summary refs log tree commit diff

path: root/ports/z3/CONTROL

blob: be11a9d7c4716635acd192981c88413acf73aeef (plain)

Source: z3
Version: 4.8.6
Homepage: https://github.com/Z3Prover/z3
Description: Z3 is a theorem prover from Microsoft Research.