path: root/math/z3/pkg-descr

Z3 is a high-performance theorem prover developed
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3