psuter/ScalaZ3 — pull request #20 by vo1stv (2013-01-28 03:02:46+00:00)
Title: Updated link to Z3 download site

Changed to http://z3.codeplex.com/releases