The ROCK Linux project has been discontinued in 2010. Here are the old data for the historical record!

Package description for 'facile'

a constraint programming library written in OCaml

 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.

Various other information for package 'facile' (Repository 'public')

URL: https://www.recherche.enac.fr/log/facile/

Author: TODO: Author
Maintainer: The ROCK Linux Project

License: LGPL
Status: Stable
Version: 1.1

Download: https://www.recherche.enac.fr/log/facile/distrib/ facile-1.1.tar.gz

ROCK Sources: facile.desc