Age | Commit message (Expand) | Author |
---|---|---|
2020-08-21 | Connect the relevance manager to TheoryEngine and use it in non-linear arithm... | Andrew Reynolds |
2018-06-04 | Only enable transcendentals if logic is N[I]RAT (#2052) | Andres Noetzli |
2018-02-20 | Minor fixes and additions for transcendental functions (#1612) | Andrew Reynolds |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |