Section: app-devel
Depends (build) : gcc-runtime, setuptools
Depends (library): gcc-13, gcc-15, gcc-runtime, glibc
Links: Changelog, Report issues
Upstream: source (git) 4.15.2
Z3 Efficient Theorem Prover
Section: app-devel
Depends (build) : gcc-runtime, setuptools
Depends (library): gcc-13, gcc-15, gcc-runtime, glibc
Links: Changelog, Report issues
Upstream: source (git) 4.15.2