2021-05-17 | Gereon Kremer | Improve integration of CAD with nl-Ext (#6542) | blob | commitdiff | raw |
2021-03-06 | Mathias Preiner | Remove SMT-LIB 2.5 and 2.0 support. (#6068) | blob | commitdiff | raw | diff to current |
2018-02-15 | Andrew Reynolds | Refactor regressions (#1581) | blob | commitdiff | raw | diff to current |