gienah@gentoo.org haskell@gentoo.org Gentoo Haskell sci@gentoo.org Gentoo Science Project Z3 is a high-performance theorem prover being developed at Microsoft Research. Add integration support for the Isabelle/HOL theorem prover. Z3Prover/z3