UpdateSmtInterpol

SMTInterpol (website and GitHub) and Ultimate are tightly integrated, but the repositories are kept separate. Ultimate periodically merges SMTInterpol's master branch into the Ultimate repository together with the local changes we maintain.

This process is described in a README file and supported by a small script. The script is currently rather specific to some machine, you may have to edit various variables.