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.

• vcpkg-cmake

  All
• vcpkg-cmake-config

  All