scip_sys

Constant SCIP_LeaderRule_SCIP_LEADERRULE_MAXCONFLICTS

Source 
pub const SCIP_LeaderRule_SCIP_LEADERRULE_MAXCONFLICTS: SCIP_LeaderRule = 3;
Expand description

< var with most conflicting vars in problem