Point to scala-smtlib from epfl-lara (support for z3 4.8.10)

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless

Apache License 2.0

88 stars 20 forks source link

Closed jad-hamza closed 3 years ago

jad-hamza commented 3 years ago

Not sure why changes in GetUnsatAssumptionsResponseSuccess were required