dev-ml/
facile

OCaml constraint programming library on integer & integer set finite domains

http://opti.recherche.enac.fr/

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: