z3/4.13.0

The Z3 Theorem Prover

prover satisfiability smt solver theorem z3

Recipe info

View recipe on GitHub

github.com/Z3Prover/z3

2024-03-20

9d9341f8d21a122ff05...

Available packages

Linux

Windows

macOS

macOS Apple Silicon

Install

Add the following line to your conanfile.txt:

[requires]
z3/4.13.0

Using z3

Loading ...