projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 363e4c3) | patch
Move si solution reconstruction to own file, make more robust. Other refactoring.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 11 Feb 2015 12:10:11 +0000 (13:10 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 11 Feb 2015 12:10:11 +0000 (13:10 +0100)
commit2f930be0eb2d0ea7b8f96448dc2e353927a79b5c
tree77ad19a8fbf0884d49018b55221e3d349a3e3b6ftree
parent363e4c378f0bc9598a93c80bce9ecaebca2efdd1commit | diff
Move si solution reconstruction to own file, make more robust. Other refactoring.
src/Makefile.am diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.h diff | blob | history
src/theory/quantifiers/ce_guided_single_inv_sol.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ce_guided_single_inv_sol.h [new file with mode: 0644] blob
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history