[Scip] Infeasible results in scip, feasible in exported problem

Martin Bergner mbergner at mathematik.tu-darmstadt.de
Fri Jan 29 13:22:15 MET 2010


Hello all,

> 2. one or more of the X variables has a value > 1 (e.g. 5,6,7) which can
> not be feasible, as I explicitly set the upper bound of the created X
> variable to 1 (in SCIPcreateVar)

More precisely, the following assertion
assert(SCIPisFeasLT(scip, SCIPgetSolVal(scip, sol, X), SCIPvarGetUbGlobal(X)));
does not hold, which I think should always hold.

Regards,
Martin




More information about the Scip mailing list