Age | Commit message (Expand) | Author |
---|---|---|
2020-04-20 | Make option names related to CEGQI consistent (#4316) | Andrew Reynolds |
2018-08-02 | Improve CEGQI heuristics involving equality and multiple instantiations (#2254) | Andrew Reynolds |
2018-05-03 | Interleave quantifiers checks with ground theory checks at LAST_CALL (#1834) | Andrew Reynolds |