FaCiLe: Difference between revisions
From CBLFS
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (4 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 |
|---|
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
