[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Fedora 8 Update: ocaml-facile-1.1-2.fc8.1



--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-2669
2008-04-08 23:49:37
--------------------------------------------------------------------------------

Name        : ocaml-facile
Product     : Fedora 8
Version     : 1.1
Release     : 2.fc8.1
URL         : http://www.recherche.enac.fr/log/facile/
Summary     : OCaml library for constraint programming
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. 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. As FaCiLe is an OCaml library and not "yet another
language", the user benefits from type inference and strong typing discipline,
high level of abstraction, modules and objects system, as well as native code
compilation efficiency, garbage collection and replay debugger, all features of
OCaml (among many others) that allow to prototype and experiment quickly:
modeling, data processing and interface are implemented with the same powerful
and efficient language.

--------------------------------------------------------------------------------
Update Information:

New package ocaml-facile - OCaml library for constraint programming.    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. As FaCiLe is an OCaml library and not "yet another language", the user
benefits from type inference and strong typing discipline, high level of
abstraction, modules and objects system, as well as native code compilation
efficiency, garbage collection and replay debugger, all features of OCaml (among
many others) that allow to prototype and experiment quickly: modeling, data
processing and interface are implemented with the same powerful and efficient
language.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #438102 - Review Request: ocaml-facile - OCaml library for constraint programming
        https://bugzilla.redhat.com/show_bug.cgi?id=438102
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ocaml-facile' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
http://fedoraproject.org/keys
--------------------------------------------------------------------------------


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]