ConGuess

Resolva problemas de satisfação de restrições

No ConGuess , você precisa resolver o maior número possível de problemas de satisfação de restrições. Você deve atribuir um valor válido a cada uma das variáveis mostradas s.t. todas as restrições são satisfeitas.
O aplicativo emprega uma forma de Inteligência Artificial chamada Programação de Restrições para gerar problemas e validar a solução.