git.libre-soc.org Git - cvc5.git/history - src/theory/quantifiers/inst_strategy

[cvc5.git] / src / theory / quantifiers / inst_strategy_enumerative.cpp

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-21	Andrew Reynolds	Make option names related to CEGQI consistent (#4316)	blob \| commitdiff \| raw \| diff to current
2020-04-15	Andrew Reynolds	Fix assertion in enumerative instantiation (#4313)	blob \| commitdiff \| raw \| diff to current
2020-04-15	Andrew Reynolds	Abort if in conflict in enumerative instantiation ...	blob \| commitdiff \| raw \| diff to current
2020-04-14	Andrew Reynolds	Fix relevant domain computation for nested quantifiers...	blob \| commitdiff \| raw \| diff to current
2020-02-19	Andrew Reynolds	Delay enumerative instantiation if theory engine does...	blob \| commitdiff \| raw \| diff to current
2020-02-17	Andrew Reynolds	Option to limit the number of rounds of enumerative...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Andrew Reynolds	Encapsulate relevant domain (#3293)	blob \| commitdiff \| raw \| diff to current
2019-08-05	Andrew Reynolds	Remove forward declarations in quantifiers engine ...	blob \| commitdiff \| raw \| diff to current
2019-04-16	Andrew Reynolds	Stratify enumerative instantiation (#2954)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-30	Andrew Reynolds	Fixes for quantifiers + incremental (#2009)	blob \| commitdiff \| raw \| diff to current
2017-11-25	Andrew Reynolds	(Refactor) Instantiate utility (#1387)	blob \| commitdiff \| raw \| diff to current
2017-11-15	Andrew Reynolds	Make QEffort an enum (#1366)	blob \| commitdiff \| raw \| diff to current
2017-11-07	Andrew Reynolds	Guard relevant domain computation properly, minor....	blob \| commitdiff \| raw \| diff to current
2017-10-31	Tim King	CID 1459592: Always checking whether rd is null or...	blob \| commitdiff \| raw \| diff to current
2017-10-28	Andrew Reynolds	(Move only) Move enumerative instantiation strategy...	blob \| commitdiff \| raw \| diff to current

RSS Atom