projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d0e58c) | patch
More work on inst propagate. Optimization for qcf to check instances eagerly. Improv...
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 28 Apr 2016 12:01:05 +0000 (07:01 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 28 Apr 2016 12:01:12 +0000 (07:01 -0500)
commitb9332c2897a354cb2f7275a67cb949770b558d25
tree06a0eb1f5e9427d347ecc93aa38cfede870c6f4ftree
parent7d0e58cf61bdb5d867006b6db90ec956f0968d97commit | diff
More work on inst propagate.  Optimization for qcf to check instances eagerly. Improvements to equality query for disequalities.
src/options/quantifiers_options diff | blob | history
src/theory/quantifiers/inst_propagator.cpp diff | blob | history
src/theory/quantifiers/inst_propagator.h diff | blob | history
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.h diff | blob | history
src/theory/quantifiers/quant_util.cpp diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history