Functional Constraint Library implemented in Objective Caml