OCaml constraint programming library on integer & integer set finite domains
http://opti.recherche.enac.fr/