issues
search
epfl-lara
/
ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
122
stars
34
forks
source link
Update Z3 to version 4.8.5
#71
Closed
romac
closed
3 years ago
romac
commented
5 years ago
[ ] Fix failing tests