smtrat.github.io
Documentation has been moved to
ths-rwth.github.io