FaCiLe

From CBLFS
Jump to: navigation, search
Download Source: http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz

Contents

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
Personal tools