Wael Boutglay
Results
2
issues of
Wael Boutglay
This allow to define a generic interpolator based on the the following [proposal](https://ultimate.informatik.uni-freiburg.de/smtinterpol/proposal.pdf). It was tested with SMTInterpol. Many other solvers don't follow this proposal. Or only follow some of...
enhancement