3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
4
Uploaders: Steffen Joeris <steffen.joeris@skolelinux.de>
5
Build-Depends: debhelper (>= 4.1.0), cdbs (>= 0.4.0), ocaml-nox (>= 3.09.0), dpatch
6
Standards-Version: 3.6.2
9
Package: libfacile-ocaml-dev
12
Depends: ocaml-nox-${F:OCamlABI}
13
Description: functional constraint library implemented in objective caml
14
FaCiLe is a constraint programming library over integer finite domain
15
written in Objective Caml. It offers all usual facilities to create
16
and manipulate finite domain variables, arithmetic expressions and
17
constraints (possibly non-linear), built-in global constraints and
18
search goals. FaCiLe allows as well to build easily user-defined
19
constraints and goals (including recursive ones), making pervasive use
20
of OCaml higher-order functionals to provide a simple and flexible
21
interface for the user. As FaCiLe is an OCaml library and not "yet
22
another language", the user benefits from type inference and strong
23
typing discipline, high level of abstraction, modules and objects
24
system, as well as native code compilation efficiency, garbage
25
collection and replay debugger, all features of OCaml (among many
26
others) that allow to prototype and experiment quickly: modeling, data
27
processing and interface are implemented with the same powerful and
30
Web site: http://www.recherche.enac.fr/opti/facile