psuter/ScalaZ3 — pull request #17 by colder (2012-11-27 15:53:26+00:00)
Title: Bring scalaz3 up to dates with z3 4.3

- Solvers with push/pop
- Reference counting for most z3 objects
- Deprecated Context.push/pop/check/..
- ASTVectors