next up previous contents index
Next: A constraint interpreter Up: manual Previous: Boolean constraints   Contents   Index

Programming Constraint Propagation

Delay clauses are a nice implementation language for programming constraint propagation. We will show in this chapter how to program constraint propagation for various constraints including reification and the global constraint all_distinct(L).



Subsections

Neng-Fa Zhou
1999-11-24