z3 4.15.0

Section: app-devel

Depends : glibc, python-3

Depends (build) : gcc-runtime, setuptools

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

Links: Changelog, Report issues

Upstream: source (git) 4.15.0