IloLinearNumExpr rexpr = (IloLinearNumExpr) r.getExpr();
IloLinearNumExprIterator it = rexpr.linearIterator();
double lhs = 0;
double rhs = r.getUB();
while (it.hasNext()) {
IloNumVar v = it.nextNumVar();
lhs += it.getValue()*msol.get(v);
}
// if a violation occurs, add a feasibility cut
if (lhs > rhs + FUZZ) {
System.out.println("!!! Adding user feasibility cut: " + r);