Difference between revisions of "FaCiLe"
From CBLFS
Jump to navigationJump to searchLine 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