z3 https://github.com/Z3Prover/z3 fury wascheme@tuta.io MIT library programming.library

The Z3 Theorem Prover.

Z3 is a theorem prover from Microsoft Research. https://github.com/Z3Prover/z3/archive/z3-4.8.10.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-03-24 4.8.10 Version bump. fury wascheme@tuta.io 2020-10-08 4.8.9 First build. fury wascheme@tuta.io