add ScalaZ3 dep