Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-05-17 | Improve integration of CAD with nl-Ext (#6542) | Gereon Kremer | |
This PR improves the integration of the CAD solver with the nl-ext solver in a simple way: we simply use a few of the simple linearization lemmas in combination with CAD by default, significantly improving the performance on QF_NRA. | |||
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds | |