Circuit #379
Description
We have a relatively reasonable implementation of circuit. To properly include it, we need to:
- Do some preliminary tests to see if it is worth it.
- Implement both versions of explations in our new version.
- Probably we want to also use connected components for conflict detection, we get this more or less for free.
- Profile the code to see if we need to do any incrementality.
- We rely on the all-different being posted. It would be easy to explicitly incorporate it within the propagator, either as part of the logic (whenever a variable gets assigned, remove the value from other variables) or simply embed an all-different (probably the better option). Otherwise if we change the ordering of propagators, this can cause problems.