ports

math/z3

z3-4.5.0 – z3 theorem prover

Description

The Z3 Theorem Prover.

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

Categories:
lang/python math

Library dependencies

None

Build dependencies

Run dependencies