FaCiLe

From CBLFS
Revision as of 05:32, 13 April 2009 by Jciccone (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
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

32Bit

Compile the package:

export USE_ARCH=32 &&
./configure &&
make

Install the package:

make install &&
unset USE_ARCH

N32

To Do...

64Bit

Compile the package:

export USE_ARCH=64 &&
./configure &&
make

Install the package:

make install &&
unset USE_ARCH