search

epfl-lara / ScalaZ3

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

CheckAssumptions #14

Closed ghost closed 11 years ago

ghost commented 11 years ago

Very small change -- just added checkAssumptions(), checkWithAssumptionsNoModel() to Java API. I have been using this in a tool of mine for awhile now and it seems to work.

psuter commented 11 years ago

Thank you for the addition!

(Note that I am not maintaining the Java side of the API, it is mostly there as a demonstration for others to pick up. This being said, thanks for enriching it.)