Cel:
Zapoznanie się z podstawowymi algorytmami stosowanymi do rozwiązywania problemów spełniania ograniczeń (ang. Constraint Satisfaction Problem, CSP)

Realizacja:
• Rozwiązanie dwóch problemów CSP: Kolorowanie grafu, N-Hetmanów
• Sformułowanie wybranych problemów jako problemów spełniania ograniczeń
• Implementacja algorytmów sprawdzenia wprzód, oraz przeszukiwania przyrostowego z powracaniem
• Porównanie czasów przetwarzania zaimplementowanych metod