psuter/ScalaZ3 — pull request #18 by colder (2012-11-27 18:21:24+00:00)
Title: Collect Solvers much more often

From 512 solvers to 5.