B.2 Variable and value selection for SetVar

• value selection methods

  Indomain method	Description
  IndomainSetMin	selects a minimal value from not yet assigned values for set variable
  IndomainSetMax	selects a maximal value from not yet assigned values for set variable
  IndomainSetRandom	selects a random value from not yet assigned values for set variable

• variable selection methods

  Comparator	Description
  MinCardDiff	selects set variable which has the smallest difference in cardinality
  	between lub and glb.
  MaxCardDiff	selects set variable which has the greatest difference in cardinality
  	between lub and glb.
  MinGlbCard	selects set variable which has the glb with the smallest cardinality
  MaxGlbCard	selects set variable which has the glb with the greatest cardinality
  MinLubCard	selects set variable which has the lub with the smallest cardinality
  MaxLubCard	selects set variable which has the lub with the greatest cardinality
  MostConstrainedStatic	selects set variable which has most constraints assign to it
  MostConstrainedDynamic	selects set variable which has the most pending constraints assign to it