Closed philzook58 closed 2 years ago
There was a state in which the new variables discovered were added to congruences, but not added to the ins outs fields on the old instruction selector path. This was leading to an inconsistent state on minizinc solve
There was a state in which the new variables discovered were added to congruences, but not added to the ins outs fields on the old instruction selector path. This was leading to an inconsistent state on minizinc solve