projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c03497) | patch
- The learned clauses from the miplib trick were being added twice. This was slowing...
authorTim King <taking@cs.nyu.edu>
Fri, 18 Mar 2011 22:22:28 +0000 (22:22 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 18 Mar 2011 22:22:28 +0000 (22:22 +0000)
commite33683b83dfe9b24ff2bce5da0c7ff8c25fbfc44
tree4f3f1c9462bdbef9dcfe8bfea749aa9450537ac1tree
parent0c03497201fb4600ea8dc6e5e8638cd7e21060a9commit | diff
- The learned clauses from the miplib trick were being added twice. This was slowing down the search. (The effect can be seen in the difference between jobs 1765 and 1755). This happened during commit -r1480 when adding the ArithStaticLearner.  This has been fixed.
src/theory/arith/arith_static_learner.cpp diff | blob | history