I need to create a ordered list of variables. I tried to use the "Sequence" constraint, and found that it was much slower than a combined series of XltYs or XgtYs.
Please check JaCoP guide ( http://jacopguide.osolpro.com/guideJaCoP.html#x1-320001 ) to make sure that the Sequence constraint you are using is exactly what you want to get. Your post suggests that you may not know what the sequence constraint does.
You are comparing two different problems. The model with Sequence constraint most likely does not have a solution thus it takes time to prove that no solution exists. The second model when you seem to be just interested in a sequence of sorted numbers is on the other hand very simple thus easy to find a solution.
In your case you seem to be using Sequence constraint incorrectly.
best,
Radek
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hi,
Please check JaCoP guide ( http://jacopguide.osolpro.com/guideJaCoP.html#x1-320001 ) to make sure that the Sequence constraint you are using is exactly what you want to get. Your post suggests that you may not know what the sequence constraint does.
You are comparing two different problems. The model with Sequence constraint most likely does not have a solution thus it takes time to prove that no solution exists. The second model when you seem to be just interested in a sequence of sorted numbers is on the other hand very simple thus easy to find a solution.
In your case you seem to be using Sequence constraint incorrectly.
best,
Radek
This is not a bug but wrong use of Sequence constraint.