Constraint programming is a new programming language paradigm that appeared in the late 80’s and became more and more popular during the 90’s [5]. In a constraint program, the user specifies a number of constraints. Each constraint defines a relation between the variables that describe the state of the system under investigation. The constraint programming tool provides constraint solving algor...