ConGuess

Resolver problemas de satisfacción de restricciones

En ConGuess tienes que resolver tantos problemas de satisfacción de restricciones como sea posible. Tienes que asignar un valor válido a cada una de las variables mostradas s.t. se cumplen todas las restricciones.
La aplicación emplea una forma de inteligencia artificial llamada programación de restricciones para generar problemas y validar la solución.