You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Extracted ConstraintGraph to hold constraint-derived state (neighbours, binary constraints, cycle/connectivity analysis) computed once per problem structure
toBuilder() domain-only updates (MAC, AC3, node consistency, cutset conditioning) now reuse the existing ConstraintGraph reference, avoiding redundant recomputation on every variable assignment and domain revision during backtracking search