FaCiLe is a Functional Constraint Library implemented in Objective Caml.