1 2 3
FaCiLe is a Functional Constraint Library implemented in Objective Caml. facile requires ocaml, also available from SlackBuilds.org