OpenSMT has a new public release with interface breaking changes related to interpolation.
This PR updates the code in SALLY to use the new interface and updates the OpenSMT installation script to use the released version of OpenSMT. This fixes the version of OpenSMT known to be compatible and prevents unintentional future break of SALLY's builds.
One of the changes in OpenSMT is support for interpolation in incremental mode and in this mode OpenSMT-based interpolation engine in SALLY should be faster. Thus, by default OpenSMT is now used in incremental mode in SALLY.
dddejan
commented
4 years ago
OpenSMT has a new public release with interface breaking changes related to interpolation. This PR updates the code in SALLY to use the new interface and updates the OpenSMT installation script to use the released version of OpenSMT. This fixes the version of OpenSMT known to be compatible and prevents unintentional future break of SALLY's builds.
One of the changes in OpenSMT is support for interpolation in incremental mode and in this mode OpenSMT-based interpolation engine in SALLY should be faster. Thus, by default OpenSMT is now used in incremental mode in SALLY.