summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/sygus/sygus_pbe.h
AgeCommit message (Expand)Author
2018-11-21Cache evaluations for PBE (#2699)Andrew Reynolds
2018-11-21Quickly recognize when PBE conjectures are infeasible (#2718)Andrew Reynolds
2018-10-09 Support for basic actively-generated enumerators (#2606)Andrew Reynolds
2018-09-24Allow partial models for multiple sygus enumerators (#2499)Andrew Reynolds
2018-09-18Move and rename sygus solver classes (#2488)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-17Internal propagation for refinement lemmas (#1932)Andrew Reynolds
2018-05-10Static learn redundant operators in CegisUnif (#1899)Haniel Barbosa
2018-04-03Make sygus unif I/O an subclass of sygus unif (#1741)Andrew Reynolds
2018-04-02Make sygus unif utility use sygus unif strategies (#1732)Andrew Reynolds
2018-03-27Make sygus pbe use sygus unif utility (#1724)Andrew Reynolds
2018-03-27Make sygus unif utility (#1720)Andrew Reynolds
2018-03-26Documentation and simplifications for PBE (#1677)Andrew Reynolds
2018-03-01Create infrastructure for sygus modules (#1632)Andrew Reynolds
2018-02-14Quantifiers subdirectories (#1608)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback