ConGuess

Решайте задачи удовлетворения ограничений

В ConGuess вам предстоит решить как можно больше задач на удовлетворение ограничений. Вы должны присвоить допустимое значение каждой из отображаемых переменных s.t. все ограничения выполнены.
Приложение использует форму искусственного интеллекта, называемую программированием ограничений, для генерации задач и проверки решения.