fixpoint

fixpoint copied to clipboard

For #35

bokner

bokner

Strategy: choose the variable with largest difference between the two smallest values in its domain. 

bokner

bokner

AllDifferent FWC is very slow.

1

- trace to find bottleneck; - implement DC version.

bokner

bokner

bokner

Large Neighborhood Search.

bokner

As of now, the binding of propagators to space variables happens before propagation starts. Either: - eliminate binding (possibly by associating propagator variables to variable nodes of the constraint graph);...

bokner

bokner