projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba99b08) | patch
Wait to do sygus qe preprocess until full effort check (#2282)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 7 Aug 2018 22:57:39 +0000 (17:57 -0500)
committerHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 7 Aug 2018 22:57:39 +0000 (17:57 -0500)
commit82515cbaef14918c7ce825e29a30de01c13d90ac
tree9f3b80df47bba16e75ee2fc844d2f67b2ba0069dtree
parentba99b080d20d521603635a1f0b57be1436eca731commit | diff
 Wait to do sygus qe preprocess until full effort check  (#2282)
src/theory/quantifiers/sygus/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/sygus/ce_guided_instantiation.h diff | blob | history