Cases

Worked constraint models

Each case study takes one problem class from the operations research literature and states it as a constraint programming (CP) model. It shows the model code and an example whose solution is independently checked against the modeled requirements.