z3 4.15.4

Section: app-devel

Depends : glibc, python-3

Depends (build) : gcc-runtime, setuptools

Depends (library): box64, gcc-runtime, gcc-runtime-13, gcc-runtime-14, gcc-runtime-15, glibc

Links: Changelog, Reverse dependency, Report issues

Upstream: source (git) 4.15.4