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.5-1#0
Jun 21, 2019
All
Z3Prover/z310K
47d206e149
Complex license
Control