A.L.L :: Last Jeudi :: Lolix :: Linuxfr :: Wikipédia :: Lea-Linux :: LinuxGraphic :: LinuxFrench :: Les Journées du Libre à Montpellier
logo jesuislibre
23 Juillet 2017
  Login | S'inscrire chercher

point
Home > Scientifique & Technique > Divers point

FaCiLe 1.0
  Ajoutée le : 2001-08-16
Licence : LGPL

FaCiLe (Functional Constraint Library) est une librairie de Programmation par Contraintes sur les domaines finis écrite avec OCaml 3.01. FaCiLe offre toutes les fonctions usuelles pour créer et manipuler des variables à domaine fini, des expressions et des contraintes arithmétiques (éventuellement non-linéaires), des contraintes globales (différence, cardinalité, tri etc.) et des buts de recherche et d'optimisation. FaCiLe permet également de construire facilement de nouvelles contraintes et buts de recherche (éventuellement récursifs) à l'aide d'une interface simple et puissante qui prend en paramètres des fonctions d'ordre supérieur. 


utilisé par 2 utilisateurs
j'utilise cette contribution
ajouter un commentaire
I n f o r m a t i o n s

Nicolas Barnier
OCaml 3.01
Paquet Deb (1918)
Source ou binaire (2200)
http://www.recherche.enac.fr/opti/facile/index.html.fr (2142)

Langue du site (ne veut pas dire,qu'il n'y a que cette langue)
Langue de la documentation (idem)
Langue de l'application (idem)


D e r n i e r   C o r r e c t i f s  d u  (2001-08-21 18:55:46)

Ajout de la contribution

nombres de correctifs 1

L e s   c h a n g e m e n t s   p r e c e d e n t s



 
point  
Info
point
aim button twitter button blog jesuislibre button facebook button flickr button linkedin button

Ce site permet de faire sortir de l'ombre tous les développeurs qui conçoivent des projets dans le monde du libre (communautaires, universitaires,etc..). Donc si vous êtes l'auteur d'un tel projet, inscrivez vous pour référencer vos applications, néanmoins si vous êtes simplement utilisateur vous pouvez aussi vous inscrire pour être informé des nouveautés et donner vos avis sur vos applications préférées.

Bruno Adele

point

Liens
point

point

Copyright � 2000 Bruno Adele.
Partenaire: informemoi.com
Previous Hosted by: 
Tuxfamily.org (1.0) (94531 pages)
lolix.org (220270 pages)

version0.4 du 27/05/2001 22:23
Generé : 23/07/2017 02:41