ports

math/z3

z3-4.7.1p0 – z3 theorem prover

Description

The Z3 Theorem Prover.

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

Only for arches
aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc sparc64
Categories:
lang/python math

Library dependencies

None

Build dependencies

Run dependencies