Age | Commit message (Expand) | Author |
---|---|---|
2021-04-24 | Improve getValue for non-evaluated operators (#6436) | Andrew Reynolds |
2021-03-06 | Remove SMT-LIB 2.5 and 2.0 support. (#6068) | Mathias Preiner |
2020-12-17 | Simplify and fix check models (#5685) | Andrew Reynolds |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |