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