Home

The math/z3 port

z3-4.13.0 – Z3 theorem prover (cvsweb github mirror)

Description

The Z3 Theorem Prover.
WWW: https://github.com/Z3Prover/z3

Maintainer

The OpenBSD ports mailing-list

Only for arches

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

Categories

lang/python math

Build dependencies

Test dependencies

Files

Search