Hello,
after the server outage some of the documentation seems to have gone missing. Specifically, Wayback Machine still remembers several chapters about interpolation, variable ordering in MCSat, and Model assignments that are not currently on the website. Would it be possible to restore these sections?
(The Yices 2.7.0 binaries also appear to be missing, but this may be less of an issue with 2.8.0 being released soon)
Hello,
after the server outage some of the documentation seems to have gone missing. Specifically, Wayback Machine still remembers several chapters about interpolation, variable ordering in MCSat, and Model assignments that are not currently on the website. Would it be possible to restore these sections?
(The Yices 2.7.0 binaries also appear to be missing, but this may be less of an issue with 2.8.0 being released soon)