search

epfl-lara / ScalaZ3

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

Collect Solvers much more often #18

Closed colder closed 11 years ago

colder commented 11 years ago

From 512 solvers to 5.