Constraint Programming -- The B