projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d141fef) | patch
Optimizations for quantifiers conflict find: better caching, process matching constra...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 15 Jan 2014 16:22:10 +0000 (10:22 -0600)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 15 Jan 2014 16:22:23 +0000 (10:22 -0600)
commit0ba5fd5e3f44ec5d3f45596662d6e573ec9b93ed
treeceaa050fe6a1565bd1707f68d8c28d9993def21ctree
parentd141fef84073b7f948e750e473cc6876ba157b5dcommit | diff
Optimizations for quantifiers conflict find: better caching, process matching constraints eagerly.
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.h diff | blob | history