projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41c09b5) | patch
Refactor model builder from model engine to quant engine. Work on fairness strategy...
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 13 Oct 2014 10:11:09 +0000 (12:11 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 13 Oct 2014 10:11:15 +0000 (12:11 +0200)
commitc3992de261f0fa968f50349de1bdc3f9bef6ce6b
tree38308f6cdf2c502482bef56a9530e63f32376cb2tree
parent41c09b51a7000fe5eb6b702d4ef9a1644129410bcommit | diff
Refactor model builder from model engine to quant engine.  Work on fairness strategy for CEGQI.  Add option for single/multi triggers.  Minor cleanup.
src/theory/quantifiers/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.h diff | blob | history
src/theory/quantifiers/inst_gen.cpp diff | blob | history
src/theory/quantifiers/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/inst_strategy_e_matching.h diff | blob | history
src/theory/quantifiers/instantiation_engine.cpp diff | blob | history
src/theory/quantifiers/model_engine.cpp diff | blob | history
src/theory/quantifiers/model_engine.h diff | blob | history
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history