Difference between revisions of "FaCiLe"

From CBLFS
Jump to navigationJump to search
m (Facile moved to FaCiLe)
Line 2: Line 2:
 
|-valign="top"
 
|-valign="top"
 
!Download Source:
 
!Download Source:
| http://www.recherche.enac.fr/opti/facile/distrib/facile-{{Facile-Version}}.tar.gz
+
| http://www.recherche.enac.fr/opti/facile/distrib/facile-{{FaCiLe-Version}}.tar.gz
 
|}
 
|}
  

Revision as of 05:13, 31 October 2008

Download Source: http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz

Introduction to FaCiLe

FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.

Project Homepage: http://www.recherche.enac.fr/opti/facile/

Dependencies

Required

Non-Multilib

Compile the package:

./configure &&
make

Install the package

make install

Multilib

TO DO