search

epfl-lara / ScalaZ3

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

Added several methods to the API #11

Closed thorstent closed 11 years ago

thorstent commented 11 years ago

Tested and working as expected on my machine.