If you are not redirected automatically, follow this link
https://github.com/smtrat/smtrat/wiki
.