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.6 : 0 amd64 x86 ?alpha arm arm64 ?hppa ?ia64 ?ppc ppc64 ?sparc

Package Metadata

Changelog