           SPELL=facile
         VERSION=1.1.1
     SOURCE_HASH=sha512:2e14c65f9c8d0d7363a2c7bd117ebc52fe1949e6e364e0e8d33b25880d3a505bc92b7d26f33d6b7deed09dc6d8eaeb0274d69dbb5fdb2d217bbd9eafb5efc2ae
          SOURCE="$SPELL-$VERSION.tar.gz"
   SOURCE_URL[0]=http://www.recherche.enac.fr/opti/$SPELL/distrib/$SOURCE
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/$SPELL-$VERSION"
        WEB_SITE=http://www.recherche.enac.fr/opti/facile/
      LICENSE[0]=LGPL
         ENTERED=20060908
           SHORT="FaCiLe is a constraint programming library"
cat << EOF
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml. It offers all usual facilities to create and
manipulate finite domain variables, arithmetic expressions and constraints
(possibly non-linear), built-in global constraints (difference, cardinality,
sorting etc.) and search and optimization goals. FaCiLe allows as well to
build easily user-defined constraints and goals (including recursive ones),
making pervasive use of OCaml higher-order functionals to provide a simple
and flexible interface for the user.
EOF
