FaCiLe is a Functional Constraint Library implemented in Objective Caml.

facile requires ocaml, also available from SlackBuilds.org