Age | Commit message (Expand) | Author |
---|---|---|
2021-05-20 | Remove old unsat cores (#6581) | Haniel Barbosa |
2021-05-13 | Add std::hash overloads for Node, TNode and TypeNode. (#6534) | Mathias Preiner |
2021-04-27 | Fix refutational soundness bug in quantifier prenexing (#6448) | Andrew Reynolds |
2021-04-19 | Fully incorporate quantifiers macros into ppAssert / non-clausal simplificati... | Andrew Reynolds |