| Indomain method | Description |
| IndomainMin | selects a minimal value from the current domain of FDV |
| IndomainMax | selects a maximal value from the current domain of FDV |
| IndomainMiddle | selects a middle value from the current domain of FDV |
| and then left and right values | |
| IndomainRandom | selects a random value from the current domain of FDV |
| IndomainSimpleRandom | faster than IndomainRandom but does not achieve uniform probability |
| IndomainList | uses values in an order provided by a programmer |
| if values not specified uses default indomain method | |
| IndomainHierarchical | uses indomain method based provided variable-indomain mapping |
| Comparator | Description |
| SmallestDomain | selects FDV which has the smallest domain size |
| MostConstrainedStatic | selects FDV which has most constraints assign to it |
| MostConstrainedDynamic | selects FDV which has the most pending constraints assign to it |
| SmallestMin | selects FDV with the smallest value in its domain |
| LargestDomain | selects FDV with the largest domain size |
| LargestMin | selects FDV with the largest value in its domain |
| SmallestMax | selects FDV with the smallest maximal value in its domain |
| MaxRegret | selects FDV with the largest difference between the smallest |
| WeightedDegree | selects FDV with the highest weight divided by its size |