z3 https://github.com/Z3Prover/z3 PisiLinux Community admins@pisilinux.org 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.12.2.tar.gz cmake ninja gmp-devel python3-devel python3-setuptools gcc13.patch 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 2023-11-04 4.12.2 Version bump. Mustafa Cinasal muscnsl@gmail.com 2023-01-28 4.12.1 Version bump fury uglyside@yandex.ru 2022-09-05 4.11.2 Version bump. fury uglyside@yandex.ru 2022-05-28 4.8.17 Version bump. fury uglyside@yandex.ru 2021-10-11 4.8.12 Version bump. fury uglyside@yandex.ru 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