sci-mathematics/
z3

An efficient theorem prover

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

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
4.8.4 : 0 ~amd64 ~x86 ?alpha ~arm ~arm64 ?hppa ?ia64 ?ppc ~ppc64 ?sparc
4.5.0 : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?sparc
4.4.1 : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?sparc

Package Metadata

Changelog