ports

• lang/python
• math

math/z3

• CVSweb
• allbsd
• cgit
• openports.se
• ports-wip

z3-4.7.1p0 – z3 theorem prover

Description

The Z3 Theorem Prover.

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

Only for arches

aarch64 alpha amd64 amd64 arm arm hppa i386 i386 mips64 mips64el powerpc sparc64

Categories:

lang/python math

Library dependencies

None

Build dependencies

• lang/python/2.7

Run dependencies

• lang/python/2.7