gentoo.mahdi.cz
sci-mathematics
:z3
An efficient theorem prover
https://github.com/Z3Prover/z3/
z3-4.13.0
MIT
download
amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86
gentoo