projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d64c07) | patch
- Adds an additional round of checks for a conflict after the difference heuristic...
authorTim King <taking@cs.nyu.edu>
Thu, 24 Feb 2011 23:00:08 +0000 (23:00 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 24 Feb 2011 23:00:08 +0000 (23:00 +0000)
commitb71b7d0aa648f39ea1243632b5b9867ada53109a
treea2346cee7b40fad749f44cc945967b3358be45catree
parent1d64c07f3eb160d297e786b31dac6ed05cd05a1acommit | diff
- Adds an additional round of checks for a conflict after the difference heuristic round has been completed.  This happens immediately before switching to the variable order round.
src/theory/arith/arith_priority_queue.cpp diff | blob | history
src/theory/arith/arith_priority_queue.h diff | blob | history
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/simplex.h diff | blob | history