Magiczny ciąg kuapouchy: „Magicznym ciągiem” o długości N nazywamy taki ciąg liczb x0, x1, x2, ..., xN , w którym wartość xi dla dowolnego i jest równa liczbie wystąpień i w tym ciągu. Przykładowy magiczny ciąg o długości 5 to 2, 1, 2, 0, 0 — na 0−wym miejscu znajduje się liczba wszystkich 0 w ciągu, na miejscu o indeksie 1 liczba 1 w ciągu, etc.. Załóżmy, że mamy stworzyć magiczny ciąg długości 7 metodami programowania z ograniczeniami. (a) ile wystąpi zmiennych w modelu: (b) jakie są dziedziny tych zmiennych: (c) jakie ograniczenia występują w problemie: