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

about summary refs log tree commit diff

path: root/ports/z3/CONTROL

blob: 866f2cf5f444c3bbdeb3e14c193c3585cf76c6b5 (plain)

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