Normal constraints are turned into repair constraints by giving them one of the following annotations:

Note that using different conflict sets for different groups of constraints will often make the search algorithm easier and more efficient. A second allowed form of thefd:(Capacity >= sum(Weights)) r_conflict cap_cstr

Note that if you want constraint propagation from the very beginning, you should simply write the constraint twice, once without and once with annotation.