Hi, I'd like to know if there is an option to ignore non-binding inequalities provided with "SCIPcreateConsLinear" / "SCIPincludeConshdlrLinear(scip)". That is, does SCIP allow to ignore inequalities that are provably non-binding because of the objective function? Is it perhaps enabled by default? yours, Stefan