Programas por sf.net/projects/learnconstraint

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