smtrat.github.io

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