Hi, we are looking for implement some new constraint propagators into Gecode. Do you have some "users guide" which explain how to do that? Thanks ! Simon ---------------------------------------- École Polytechnique de Montréal