PACKAGE NAME:  facile-1.1-i386-1bmg.tgz
PACKAGE LOCATION:  ./Library/facile
PACKAGE SIZE (compressed):  626 K
PACKAGE SIZE (uncompressed):  1670 K
PACKAGE REQUIRED:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
facile: facile (A Functional Constraint Library)
facile:
facile: FaCiLe is a constraint programming library over integer
facile: finite domains written in OCaml [7]. It offers all usual
facile: constraints system facilities to create and handle finite
facile: domain variables, arithmetic expressions and constraints 
facile: (possibly non-linear), built-in global constraints and
facile: search goals.
facile:
facile:
facile: