We describe a representation of a general binary constraint and we propose several constraint propagation algorithms for such constraints.
