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

2020-01-31	Andrew Reynolds	Minor refactoring of constructor classes in fast enumer...	blob \| commitdiff \| raw
2020-01-08	Andrew Reynolds	Fix backtracking issue in sygus fast enumerator (#3593)	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-14	Andrew Reynolds	Generalize sygus-rr-verify for fast enumerator (#2829)	blob \| commitdiff \| raw \| diff to current
2018-11-06	Andrew Reynolds	Incorporate static PBE symmetry breaking lemmas into...	blob \| commitdiff \| raw \| diff to current
2018-11-05	Andrew Reynolds	Allow partial models with optimized sygus enumeration...	blob \| commitdiff \| raw \| diff to current
2018-10-31	Andrew Reynolds	Add optimized sygus enumeration (#2677)	blob \| commitdiff \| raw \| diff to current