266,572 Versions Indexed

Need a place to host your private Conan packages for free? Learn More

z3

The Z3 Theorem Prover

MIT

License

4.8.8

Version

128

Downloads

Loading...

Loading...

Overview

Recipe

Configuration

Dependencies (0)

Used By (0)

URL: https://github.com/Z3Prover/z3

Full Description:

The Z3 Theorem Prover

Available Configurations (130):

Linux (100)

Windows (18)

Macos (12)

All Available Versions:

z3/4.8.8

Revisions ()