Z3 theorem prover
The Z3 Theorem Prover.

Maintainer: Kirill A. Korinsky <kirill@korins.ky>

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