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

about summary refs log tree commit diff

path: root/ports/z3/CONTROL

blob: 5f314a63de9c298c47ffd8cef4c940be70b86e88 (plain)

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