Skip to content

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

Viktor Kuncak requested to merge github/fork/jad-hamza/smtlib into master

Created by: jad-hamza

Not sure why changes in GetUnsatAssumptionsResponseSuccess were required

Merge request reports