A General Relation Constraint: An Implementation