Implement AC and DAC
Closed this issue · 0 comments
fintara commented
Currently Assignment<V, D>.arcConsistent
does not make it actually arc consistent. Nor is it DAC (or it is if we consider the ordering to be the default one).
- Implement actual arc consitency. It has to take both directions in a binary constraint.
- Implement directional arc consistency. It has to take some ordering and remove values only from one direction.