git.libre-soc.org Git - cvc5.git/history - src/decision/decision_engine

2021-10-29	Gereon Kremer	Remove static access to options in decision folder...	blob \| commitdiff \| raw
2021-10-08	Andrew Reynolds	Add argument to distinguish lemmas and input assertions...	blob \| commitdiff \| raw \| diff to current
2021-10-04	Andrew Reynolds	Make decision engine use env (#7300)	blob \| commitdiff \| raw \| diff to current
2021-07-09	Andrew Reynolds	Implement stop-only for new justification heuristic...	blob \| commitdiff \| raw \| diff to current
2021-05-05	Andrew Reynolds	Move current decision engine to decision engine old...	blob \| commitdiff \| raw \| diff to current