Programas por sf.net/projects/learnconstraint

Este é um exercício simples que visa aprender a aplicar a programação de restrições a desafios não determinísticos do tempo polinómio.