CPSolver.Propagator.AllDifferent.DC.Fast (Fixpoint v0.10.6)
A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint Xizhe Zhang, Qian Li and Weixiong Zhang https://www.ijcai.org/proceedings/2018/0194.pdf
Summary
Functions
Callback implementation for CPSolver.Propagator.bind/3
.
Callback implementation for CPSolver.Propagator.entailed?/2
.
Callback implementation for CPSolver.Propagator.failed?/2
.
Callback implementation for CPSolver.Propagator.reset/2
.
Callback implementation for CPSolver.Propagator.reset/3
.
Functions
Callback implementation for CPSolver.Propagator.bind/3
.
Callback implementation for CPSolver.Propagator.entailed?/2
.
Callback implementation for CPSolver.Propagator.failed?/2
.
Callback implementation for CPSolver.Propagator.reset/2
.
Callback implementation for CPSolver.Propagator.reset/3
.