choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.slack
Classes
IncSlackWDegRatio
SlackWDegRatio