Z3 is a theorem prover from Microsoft Research.
Run the following Vcpkg command to install the port.
vcpkg install z3
Usage details are not available for this port.
v4.8.6#0
Feb 3, 2020
!arm64 && !uwp
Z3Prover/z310K
github.com/Z3Prover/z3
e62d136128
Complex license
Control