projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 374fc23) | patch
Refactor, separate theory-specific counterexample-guided instantiation.
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 20 Sep 2016 22:46:13 +0000 (17:46 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 20 Sep 2016 22:46:13 +0000 (17:46 -0500)
commit2c7f0cad036c8b53238e5f273df608bf57eb78a7
treec8291b5786b46035fb768359127724b4b4343d05tree
parent374fc2396a4f4338ade7ea0fb958e26c9e3bb982commit | diff
Refactor, separate theory-specific counterexample-guided instantiation.
src/Makefile.am diff | blob | history
src/theory/quantifiers/ceg_instantiator.cpp diff | blob | history
src/theory/quantifiers/ceg_instantiator.h diff | blob | history
src/theory/quantifiers/ceg_t_instantiator.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ceg_t_instantiator.h [new file with mode: 0644] blob