ConGuess

Решаване на проблеми с удовлетворението на ограниченията

В ConGuess трябва да разрешите възможно най-много проблеми с удовлетворяването на ограниченията. Трябва да присвоите валидна стойност на всяка от показаните променливи s.t. всички ограничения са изпълнени.
Приложението използва форма на изкуствен интелект, наречена Constraint Programming, за генериране на проблеми и валидиране на решението.