pub const SCIP_ImplintType_SCIP_IMPLINTTYPE_STRONG: SCIP_ImplintType = 2;Expand description
< The constraint handlers enforce that if the problem is relaxed to have integrality constraints for the non-implied integral variables only, in every feasible solution all strongly implied integral variables have integer solution values.
@note This notion of implied integrality remains intact under the addition of additional constraints to the problem.
Example: The variable z is strongly implied integral if we have the constraint: 4x + 3y + z = 10, where x and y are integer variables.