Skończony solver ograniczeń
Rozwiązuje małe całkowite ograniczenia przez pełne przeszukanie jawnych zakresów.
Brute-force small integer constraints with transparent bounds.
Rozwiązuje małe całkowite ograniczenia przez pełne przeszukanie jawnych zakresów.
Brute-force small integer constraints with transparent bounds.