z3

Z3 is a theorem prover from Microsoft Research.

Run the following Vcpkg command to install the port.

vcpkg install z3

Usage details are not available for this port.