fixpoint
fixpoint copied to clipboard
Implement max_regret for variable choice
Strategy: choose the variable with largest difference between the two smallest values in its domain.