Friday
dev-ml/facile
A constraint programming library on integer and integer set finite domains written in OCaml.
Last update:10 Feb 201208:01 UTC