Bug#336852: ITP: libfacile-dev -- functional constraint library implemented in objective caml
Hello,
On Tue, Nov 01, 2005 at 05:58:31PM +0100, Steffen Joeris wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Steffen Joeris <steffen.joeris@skolelinux.de>
>
> I think the lib is needed by some kde applications.
> The Kalzium developer told me that this lib is needed
> during the build of Kalzium.
>
>
> * Package name : libfacile-dev
> Version : 1.1
> Upstream Author : Copyright (C) 2001, CENA
> * URL : http://www.recherche.enac.fr/opti/facile
> * License : GNU Lesser General Public License
> Description : functional constraint library implemented in objective caml
>
> FaCiLe is a constraint programming library over integer finite domain
> written in Objective Caml. It offers all usual facilities to create
> and manipulate finite domain variables, arithmetic expressions and
> constraints (possibly non-linear), built-in global constraints and
> search 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.
> .
> Web site: http://www.recherche.enac.fr/opti/facile
>
I think you should take contact with the debian ocaml task force. We
have a svn alioth repository + a policy for packaging.
Please have a look at:
http://pkg-ocaml-maint.alioth.debian.org/
Kind regard
Sylvain Le Gall
ps: for the naming, it should be libfacile-ocaml-dev and not
libfacile-dev...
Reply to: