improved how variable nodes are created and retrieved in the FlatZinc invariant graph and invariant graph.
Improved how domain constraints are posted for var nodes
The idea is that each variable has a state for its domain (no domain constraint, fixed single value, bounded from above, bounded from below, in an interval, or domain).
Depending on the state, the bounds the corresponding variable has in the solver, and the domain of the variable node in the invariant graph, no or one domain constraint will be posted
improved how variable nodes are created and retrieved in the FlatZinc invariant graph and invariant graph.
Improved how domain constraints are posted for var nodes
The idea is that each variable has a state for its domain (no domain constraint, fixed single value, bounded from above, bounded from below, in an interval, or domain). Depending on the state, the bounds the corresponding variable has in the solver, and the domain of the variable node in the invariant graph, no or one domain constraint will be posted