FaCiLe: Difference between revisions
From CBLFS
Jump to navigationJump to search
No edit summary |
|||
| 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 | ||
|} | |} | ||
Revision as of 04: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