projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6842b50) | patch
Minor improvement to sygus sol reconstruction.
authorajreynol <andrew.j.reynolds@gmail.com>
Sun, 30 Aug 2015 07:49:48 +0000 (09:49 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Sun, 30 Aug 2015 07:49:48 +0000 (09:49 +0200)
commit4d61b02bd1ab2a2474c896b84cab603713035111
treeecd63750762fcff91baf8985bfb108b1ebd3f1abtree
parent6842b50e9e59c89efc21b83faa541df069b5c333commit | diff
Minor improvement to sygus sol reconstruction.
src/theory/quantifiers/ce_guided_single_inv_sol.cpp diff | blob | history
src/theory/quantifiers/options diff | blob | history