projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b13d2f7) | patch
Improvements to symmetry breaking in sygus search. Minor fix for getting instantiatio...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 24 May 2016 23:18:00 +0000 (18:18 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 24 May 2016 23:18:00 +0000 (18:18 -0500)
commitbeaf8b212dfadb47328942c23a7649ab44a014cb
tree11e90d1160b05ce3c30be6655963f7789729f15atree
parentb13d2f7921a65b8921ef37b38a2d4579f7c911a2commit | diff
Improvements to symmetry breaking in sygus search. Minor fix for getting instantiations of non-registered quantifiers in sygus.
src/options/quantifiers_options diff | blob | history
src/theory/datatypes/datatypes_sygus.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history