ConGuess

Rezolvați problemele de satisfacție cu constrângeri

În ConGuess trebuie să rezolvați cât mai multe probleme de satisfacție a constrângerilor. Trebuie să atribuiți o valoare validă fiecărei variabile afișate s.t. toate constrângerile sunt îndeplinite.
Aplicația folosește o formă de inteligență artificială numită Programare cu constrângeri pentru generarea de probleme și validarea soluției.