Z3 theorem prover
Index | math
The Z3 Theorem Prover.
Maintainer: Kirill A. Korinsky <kirill@korins.ky>