New formula: Z3

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