Atur cara mengikut sf.net/projects/learnconstraint

Ini adalah satu latihan mudah yang bertujuan untuk belajar bagaimana untuk memohon kekangan pengaturcaraan kepada cabaran bukan deterministik masa polinomi.