The math/z3 port

z3-4.5.0p0 – z3 theorem prover

Description

The Z3 Theorem Prover.

WWW: https://github.com/Z3Prover/z3
Categories:
lang/python math

Library dependencies

Build dependencies

Run dependencies