Bugfix to the AND (&) operator. If a boolean variable's domain should be updated to [0, 0] and it already was that value, the code would still mark the domain as being changed (propagated). This would start an infinite loop. Checking to see if the bounds were already satisfied before propagating has fixed this error.
Bugfix to the AND (&) operator. If a boolean variable's domain should be updated to [0, 0] and it already was that value, the code would still mark the domain as being changed (propagated). This would start an infinite loop. Checking to see if the bounds were already satisfied before propagating has fixed this error.