1. Home
  2. Browse
  3. z3

z3

v4.13.3#0Latest

Z3 is a theorem prover from Microsoft Research

Install

Run the following Vcpkg command to install the port.

Usage

Usage details are not available for this port.

Dependencies

See source

Version

v4.13.3#0

Publication

Supports

!uwp

GitHub

Z3Prover/z310K

Homepage

github.com/Z3Prover/z3

Subtree

8617866c24

License

MIT

Definition

Manifest