summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/sygus/sygus_unif_strat.cpp
AgeCommit message (Expand)Author
2019-03-26Update copyright headers.Aina Niemetz
2018-08-03Eliminate option for sygus UF evaluation functions (#2262)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-28Builtin evaluation functions for sygus (#1991)Andrew Reynolds
2018-05-21Infrastructure to mark unused sygus strategies (#1950)Andrew Reynolds
2018-05-17Fix debugPrint and add regress. (#1934)Andrew Reynolds
2018-05-17Option to force return values of Bool functions to be constant in CegisUnif (...Haniel Barbosa
2018-05-10Also exclude ITEs from ITE conditions in SygusUnifStrat (#1903)Haniel Barbosa
2018-05-10Exclude Boolean connectives from ITE conditions in SygusUnifStrat (#1900)Andrew Reynolds
2018-05-10Static learn redundant operators in CegisUnif (#1899)Haniel Barbosa
2018-05-03Initialize cegis unif strategy (#1861)Andrew Reynolds
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-30Split strategy representation from SygusUnif (#1730)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback