diff options
author | Tim King <taking@cs.nyu.edu> | 2011-02-24 23:00:08 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-02-24 23:00:08 +0000 |
commit | b71b7d0aa648f39ea1243632b5b9867ada53109a (patch) | |
tree | a2346cee7b40fad749f44cc945967b3358be45ca /src/theory/bv/theory_bv.h | |
parent | 1d64c07f3eb160d297e786b31dac6ed05cd05a1a (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.
Diffstat (limited to 'src/theory/bv/theory_bv.h')
0 files changed, 0 insertions, 0 deletions