New Upstream Release - alt-ergo

There were merge conflicts while merging a new upstream version.

Upstream version: 2.3.3.

More details

Full run details

Historical runs