search

epfl-lara / ScalaZ3

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

Update Z3 to version 4.7.1 #66

Closed romac closed 5 years ago