chr implementaties voor sudoku, chr2 kan puzzles genereren voor een puzzel van 4 op 4, maar 9 op 9 duurt nog te lang

wrs moeten we opnieuw symmetrie brekende constraints toevoegen: als de
eerste 9 faalde op positie x, zal de tweede 9 ook falen.