ths-rwth/smtrat

Broken link to manual on home page

rpgoldman opened this issue 2 years ago · 1 comments

rpgoldman commented 2 years ago

The link to https://github.com/smtrat/smtrat.github.io/raw/master/manual_smtrat-latest.pdf on this page does not work.

I believe that the correct URL is https://github.com/ths-rwth/ths-rwth.github.io/raw/master/manual_smtrat-latest.pdf

derjasper commented 2 years ago

Thanks, will be fixed in the next release.