z3 4.14.1

Section: app-devel

Depends : glibc, python-3

Depends (build) : gcc-runtime, setuptools

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

Links: Changelog, Report issues

Upstream: source (git) 4.14.1