facile 1.1
Maintainer | contact@ocamlpro.com |
---|---|
Published | Aug 21, 2012 |
Source [http] |
http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz ab673e1fc0859a42bcb639a02c2d7e9e |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/facile/facile.1.1/opam |
Constraint programming library over integer finite domains
No package is dependent |