projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4db1c67) | patch
Lemmas instead of conflicts in sygus sym break (do not expand explanations). Minor...
authorajreynol <andrew.j.reynolds@gmail.com>
Sat, 31 Jan 2015 10:12:09 +0000 (11:12 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Sat, 31 Jan 2015 10:12:09 +0000 (11:12 +0100)
commitb6f57c4a9df8f6c17e30168f1f1961b76f83702e
tree00a1102f415ceef23df71e8b3f91c144cada789btree
parent4db1c674588a280da61033c5a60e33327887c57dcommit | diff
Lemmas instead of conflicts in sygus sym break (do not expand explanations).  Minor improvements to sygus splitting.
src/theory/datatypes/datatypes_sygus.cpp diff | blob | history
src/theory/datatypes/datatypes_sygus.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.cpp diff | blob | history