ConGuess

Résoudre des problèmes de satisfaction de contraintes

Dans ConGuess , vous devez résoudre autant de problèmes de satisfaction de contraintes que possible. Vous devez attribuer une valeur valide à chacune des variables affichées. toutes les contraintes sont satisfaites.
L'application utilise une forme d'intelligence artificielle appelée programmation par contraintes pour générer des problèmes et valider la solution.