diff options
author | Tim King <taking@cs.nyu.edu> | 2013-05-03 21:55:40 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2013-05-05 14:24:45 -0400 |
commit | f5a9b1de720d6c77815ebb0ea9d6e911905885d1 (patch) | |
tree | 7a7f8e77a09fc3c28e2334e040cd32827b700981 /src/theory/arith/soi_simplex.cpp | |
parent | 5a20ba9f1f843fe066bbc8268f511a71902b88cb (diff) |
Adding cut offs for likely integer infeasible paths.
Diffstat (limited to 'src/theory/arith/soi_simplex.cpp')
-rw-r--r-- | src/theory/arith/soi_simplex.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/arith/soi_simplex.cpp b/src/theory/arith/soi_simplex.cpp index 6095727a3..d7e1808e4 100644 --- a/src/theory/arith/soi_simplex.cpp +++ b/src/theory/arith/soi_simplex.cpp @@ -591,7 +591,7 @@ void SumOfInfeasibilitiesSPD::quickExplain(){ d_qeConflict.clear(); d_errorSet.pushFocusInto(d_qeConflict); - cout << d_qeConflict.size() << " "; + //cout << d_qeConflict.size() << " "; uint32_t size = d_qeConflict.size(); if(size > 2){ @@ -611,7 +611,7 @@ void SumOfInfeasibilitiesSPD::quickExplain(){ d_qeSgns.clear(); } - cout << d_qeConflict.size() << endl; + //cout << d_qeConflict.size() << endl; Assert(d_qeInSoi.empty()); Assert(d_qeInUAndNotInSoi.empty()); @@ -813,7 +813,7 @@ WitnessImprovement SumOfInfeasibilitiesSPD::SOIConflict(){ if(options::soiQuickExplain()){ quickExplain(); Node conflict = generateSOIConflict(d_qeConflict); - cout << conflict << endl; + //cout << conflict << endl; d_conflictChannel(conflict); }else{ |