search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
122 stars 34 forks source link

Rename model_eval to modelEval to match java declaration #24

Closed colder closed 11 years ago