projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 773963f) | patch
Better organization of quantifiers modules, promote full saturation to module. Add...
authorajreynol <andrew.j.reynolds@gmail.com>
Sat, 26 Sep 2015 08:04:34 +0000 (10:04 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Sat, 26 Sep 2015 08:04:34 +0000 (10:04 +0200)
commite61a79df77924c66e8f6ff3141172bda49301475
tree1b33e1d054bd3ac948d9bd47a0ea825bca724ceatree
parent773963f4342bb860fe4deb1d3c65d801b6acd72fcommit | diff
Better organization of quantifiers modules, promote full saturation to module. Add heuristics for cbqi LIA instantiation with coefficients.
src/theory/quantifiers/inst_strategy_cbqi.cpp diff | blob | history
src/theory/quantifiers/inst_strategy_cbqi.h 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/instantiation_engine.h diff | blob | history
src/theory/quantifiers/model_engine.cpp 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