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

about summary refs log tree commit diff

path: root/ports/z3/CONTROL

blob: f261a7f55c0aa4c6a06adce69f1010243df8fc9b (plain)

Source: z3
Version: 4.8.9
Homepage: https://github.com/Z3Prover/z3
Description: Z3 is a theorem prover from Microsoft Research.
Supports: !arm64 && !uwp