Je Suis Libre - FaCiLe 1.0 - 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.

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

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

Info

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

Liens

Copyright � 2000 Bruno Adele.
Partenaire: informemoi.com Previous Hosted by: Tuxfamily.org (1.0) (94531 pages) lolix.org (220270 pages)	version: 0.4 du 27/05/2001 22:23 Generé : 24/04/2024 21:08


Home \| Preface \| Remerciements \| Contact \| Comment aider ? \| Les sources \| Un Bug !	24 Avril 2024