swMATH13091MaRDI QIDQ25009
No author found.
Source code repository: https://github.com/smtrat/smtrat/wiki
Described by source