PACKAGE NAME:  facile-1.1-i586-1vl59.tlz
PACKAGE LOCATION:  ./libs
PACKAGE SIZE (compressed):  434 K
PACKAGE SIZE (uncompressed):  1680 K
PACKAGE MD5: 707a1ab03e1f936de0704f0ab0397862  ./libs/facile-1.1-i586-1vl59.tlz
PACKAGE REQUIRED:  
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
facile: facile: (constraint programming library written in Ocaml)
facile: 
facile: FaCiLe is a constraint programming library on integer and integer set 
facile: finite domains written in OCaml. It offers all usual facilities to  
facile: createand manipulate finite domain variables, arithmetic expressions 
facile: and constraints (possibly non-linear), built-in global constraints 
facile: (difference, cardinality, sorting etc.) and search and optimization 
facile: goals.  
facile: LICENSE: GNU LGPL
facile: WEBSITE: http://www.recherche.enac.fr/opti/facile/