Difference between revisions of "FaCiLe"
From CBLFS
Jump to navigationJump to search| (3 intermediate revisions by 2 users not shown) | |||
| Line 2: | Line 2: | ||
|-valign="top" | |-valign="top" | ||
!Download Source: | !Download Source: | ||
| − | | http://www.recherche.enac.fr/opti/facile/distrib/facile-{{ | + | | http://www.recherche.enac.fr/opti/facile/distrib/facile-{{FaCiLe-Version}}.tar.gz |
|} | |} | ||
| Line 12: | Line 12: | ||
=== Required === | === Required === | ||
| − | * [[ | + | * [[Objective Caml]] |
== Non-Multilib == | == Non-Multilib == | ||
| Line 27: | Line 27: | ||
== Multilib == | == 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 | ||
| + | |||
| + | [[Category:Programming]] | ||
Latest revision as of 04:32, 13 April 2009
| 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
