…
..
examples	…
tests	…
AllDiff.cpp	…
AllDiff.h	…
BinaryAllDiff.h	…
CMakeLists.txt	…
CSP.cpp	…
CSP.h	…
Constraint.h	…
Domain.cpp	…
Domain.h	…
Scheduler.cpp	…
Scheduler.h	…
SingleValue.cpp	…
SingleValue.h	…