OpenBSD ports

The math/z3 port

z3-4.12.2p0 – 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 mips64el powerpc powerpc powerpc64 powerpc64 riscv64 riscv64 sparc64
Categories:
lang/python math

Library dependencies

Build dependencies

Run dependencies