The math/z3 port
z3-4.15.3 – Z3 theorem prover (cvsweb github mirror)
Description
The Z3 Theorem Prover.WWW: https://github.com/Z3Prover/z3
Maintainer
Kirill A. Korinsky
Only for arches
aarch64 amd64 arm i386 mips64 mips64el powerpc powerpc64 riscv64 sparc64