search

epfl-lara / ScalaZ3

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

help me regarding binders test #30

Closed shashidonthiri9 closed 10 years ago

shashidonthiri9 commented 10 years ago

Sir could u just send me a basic binder test case in play (scala) ASAP ...

colder commented 10 years ago

What exactly do you mean by a binder test case?

In the meantime, you will find several examples of ScalaZ3 usage in: https://github.com/epfl-lara/leon/blob/master/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala#L460