Circuit

[EmirDe]

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.