Age | Commit message (Expand) | Author |
---|---|---|
2021-07-09 | Implement stop-only for new justification heuristic (#6847) | Andrew Reynolds |
2021-06-09 | Update CVC4 URLs/macros (#6666) | Andres Noetzli |
2021-05-04 | Move current decision engine to decision engine old (#6466) | Andrew Reynolds |