z3

The Z3 Theorem Prover

Run the following Vcpkg command to install the port.

vcpkg install z3

Usage details are not available for this port.