Filewatcher File Search File Search
Content Search
» » » » »


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.
Package version:1.1-8+b1



FaCiLe is a Functional Constraint Library implemented in Objective Caml.


  README        this file
  Makefile      main Makefile
  src/          source files of the library
  examples/     some examples using the library


  All you need is the Objective Caml 3.02 (or greater) compiler and
standard Unix tools (make...).

  0) Configure the library. The single o


facile (1.1-8+b1) sid; urgency=low

  * Binary-only non-maintainer upload for kfreebsd-amd64; no source changes.
  * Rebuild with ocaml 3.12.1

 -- kfreebsd-amd64 Build Daemon (fano) <>  Tue, 01 Nov 2011 22:46:30 +0000

facile (1.1-8) unstable; urgency=low

  * debian/control:
    - update Vcs-* to point to git repository
    - remove duplicate section f


Packaged-By: Steffen Joeris <>
Packaged-Date: Sun, 30 Oct 2005 00:41:20 +0200
Upstream-Author: Nicolas Barnier, Pascal Brisset

Files: *
Copyright: © 2001-2004 CENA
License: LGPL-2.1+

  This library is free software; you can redistribute it and/or modify
  it under the terms of the GNU Lesser 

Browse inside libfacile-ocaml-dev_1.1-8+b1_kfreebsd-amd64.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors
         [DIR]var/ (1)  41013+ mirrors

Download libfacile-ocaml-dev_1.1-8+b1_kfreebsd-amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017