mxcl/homebrew — pull request #16188 by dtrebbien (2012-11-22 01:27:51+00:00)
Title: New formula: Z3

Formula for Microsoft's [Z3 theorem prover](http://z3.codeplex.com)