ScalaZ3 for Scala 2.10