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#0
Jun 7, 2019
All
Z3Prover/z310K
52168a8503
Complex license
Control