Age | Commit message (Expand) | Author |
---|---|---|
2021-09-07 | Refactoring and fixes of set defaults for quantifiers (#7120) | Andrew Reynolds |
2020-08-21 | Connect the relevance manager to TheoryEngine and use it in non-linear arithm... | Andrew Reynolds |
2020-02-26 | Use side effect utility for non-linear lemmas (#3780) | Andrew Reynolds |