Section:
Depends (build) : gcc-runtime, setuptools
Links: Changelog, QA Page, Report issues
Upstream: source (git) 4.14.0
Z3 Efficient Theorem Prover
Section:
Depends (build) : gcc-runtime, setuptools
Links: Changelog, QA Page, Report issues
Upstream: source (git) 4.14.0