ConGuess

Розв’яжіть задачі задоволення обмежень

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