vo1stv/ScalaZ3 — pull request #2 by vo1stv (2012-11-25 23:33:42+00:00)
Title: Get up to date

This should synchronize the master with the latest from psutter.