DSL in Scala for Constraint Solving with Z3 SMT Solver - View it on GitHub