z3-4.6.0 build fails due to not incorporating https://github.com/Z3Prover/z3/pull/1612 - Githubissues

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

z3-4.6.0 build fails due to not incorporating https://github.com/Z3Prover/z3/pull/1612 #63

Closed DhashS closed 5 years ago

romac commented 5 years ago

Marking this as resolved since we now ship with Z3 4.7.1