Hi...

Currently I'm having 20 variables and for every variable ~400 values (those 400 values are the same for every variable)...

I specify several ``positioning'' constraints (e.g. value 10 should appear at any position before value 20 appears and value 20 must appear next to value 10)...

with my current JaCoP-based approach, it takes ages to calculate the solutions... so I'm mapping my constraints completely wrong onto JaCoP...

I'm currently mapping such ``positioning'' constraints using JaCoP's IfThen constraints

Example: If the value of variable xi (i=1,...,20) equals 10, then no variable xj (j=1,..,i) cannot have the value 20...

Could anybody help me please how to map such ``positioning'' constraints onto JaCoP?

I have no clue how ExtensionalSupport* could help? or can you provide me any examples? I haven't found any appropriated examples in the JaCoP examples...

Many thanks in advance!

Best,

Ernst