1. Home
  2. Browse
  3. z3

z3

v4.13.0#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.0#0

Publication

Supports

!uwp

GitHub

Z3Prover/z39.8K

Homepage

github.com/Z3Prover/z3

Subtree

61b9054264

License

MIT

Definition

Manifest