Age | Commit message (Expand) | Author |
---|---|---|
2021-10-08 | Add argument to distinguish lemmas and input assertions (#7326) | Andrew Reynolds |
2021-10-04 | Make decision engine use env (#7300) | Andrew Reynolds |
2021-07-09 | Implement stop-only for new justification heuristic (#6847) | Andrew Reynolds |
2021-05-04 | Move current decision engine to decision engine old (#6466) | Andrew Reynolds |