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-1#0
May 23, 2019
All
Z3Prover/z310K
976744ba21
Complex license
Control