projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 221e509) | patch
decision engine: cache start index for and/or nodes
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 30 Apr 2014 20:09:32 +0000 (16:09 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 1 May 2014 03:50:09 +0000 (23:50 -0400)
commitcb12e628b41d11376ff03e5c1a7a5e760e98e2a1
treecc9b80787200a7ed06ae1d11ecf5a4a1b7d1cfbftree
parent221e509c0eb230aa549fe0107ba88514b6944ca2commit | diff
decision engine: cache start index for and/or nodes

This is done only in "hard" case. Limited testing has not shown
improvement in the "easy" case.

This was triggerred by a benchmark sent by andy/viktor.

performance comparison notes for the change on wiki
http://church.cims.nyu.edu/wiki/User:Kshitij/decisioncacheindex
src/decision/justification_heuristic.cpp diff | blob | history
src/decision/justification_heuristic.h diff | blob | history