vo1stv/ScalaZ3 — pull request #1 by vo1stv (2012-11-25 23:24:02+00:00)
Title: Patch 1

I think this will join maser and patch-1