dev-ml/
facile

OCaml constraint programming library on integer & integer set finite domains

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

Latest Commits