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.9.tar.gz cmake ninja gmp-devel python3-devel python3-setuptools z3 gmp libgcc python3 /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 2020-10-08 4.8.9 First build. fury wascheme@tuta.io