The math/z3 port

z3-4.8.6p0 – Z3 theorem prover

Description

The Z3 Theorem Prover.

WWW: https://github.com/Z3Prover/z3
Only for arches
aarch64 aarch64 alpha amd64 amd64 arm arm hppa i386 i386 mips64 mips64 mips64el powerpc powerpc sparc64
Categories:
lang/python math

Library dependencies

Build dependencies

Run dependencies