Functional Constraint Library implemented in Objective Caml - View it on GitHub