hello, thank you for your attention .I have some problems in the following.
I am from Jilin university from China. Now I am researching on the CSP problems with choco 2.1.5.
Now I would like to have a extension of some arc consistency algorithms that choco does not implement.
For example, for implementing the SAC1 that bases on the AC3 algorithm, I encountered a problem that I must call the AC3 algorithm which executes on the whole variables of the problem. But in choco, the AC3 algorithm executes on the variables involved the constraints. How should I solve the difficulties.
Thank you for your time and attention.