search

epfl-lara / ScalaZ3

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

Deprecate softCheckCancel, replaced by interrupt #19

Closed colder closed 11 years ago

colder commented 11 years ago

Deprecate softCheckCancel