開發者 sf.net/projects/learnconstraint

這是一個簡單的練習，旨在學習如何將約束程式設計應用於非確定性多項式時間挑戰。