summary:

OCaml Functional Constraint Library

description:

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.

categories:

Libs

build-depends:

cygport, ocaml

install package(s):

ocaml-facile

homepage:

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

maintainer(s):

ORPHANED (Use the mailing list to report bugs or ask questions. Do not contact the maintainer(s) directly.)

packaging repository:

ocaml-facile.git

repology info:

ocaml:facile (1.1.4)

importance:

leaf