search

epfl-lara / ScalaZ3

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

[WIP] Update Z3 to version 4.8.4 #65

Closed romac closed 5 years ago

romac commented 5 years ago

Do not merge, test suite is currently failing