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.
v4.15.2#0
Jun 30, 2025
!uwp
Z3Prover/z311K
github.com/Z3Prover/z3
f7ab2bc1a1
MIT
Manifest