The Z3 Theorem Prover
Run the following Vcpkg command to install the port.
vcpkg install z3
Usage details are not available for this port.
v4.8.4#0
Mar 9, 2019
All
Z3Prover/z310K
45fadafed0
Complex license
Control