z3 https://github.com/Z3Prover/z3 fury uglyside@yandex.ru MIT library programming.library

The Z3 Theorem Prover.

Z3 is a theorem prover from Microsoft Research. https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.11.tar.gz cmake ninja gmp-devel python3-devel python3-setuptools z3 gmp libgcc /usr/bin /usr/lib /usr/share/doc python3-z3 programming.language.python3 z3 python3 /usr/lib/python* z3-devel z3 /usr/include /usr/lib/pkgconfig /usr/lib/cmake 2021-07-05 4.8.11 Version bump. fury uglyside@yandex.ru 2021-03-24 4.8.10 Version bump. fury uglyside@yandex.ru 2020-10-08 4.8.9 First build. fury uglyside@yandex.ru