Outil de programmation par contraintes

Le CHIP V5

CONTRAINTES GLOBALES

Architecture Ouverte

Livres blancs (en anglais)

Demandes d'informations

contraintes globales

cumulative

Cycle

Problem Models :

CAPACITY
Placement
Permutations
Transitions
Patterns

Diffn

Sequence

Problem Domains :

Finite Resources
Non Overlapping
Ordering, Chaining
Routing, Sequencing
Regulation Rules

Ce concept, dont COSYTEC est à l’origine, se caractérise par:

  • Un haut niveau d’abstraction, permettant la modélisation du problème d’une manière concise et proche de la réalité.
  • Une forte amélioration des performances (temps de calcul et consommation mémoire). 

Un certain nombre de problèmes, auparavant considérés comme “insolubles”, peuvent ainsi être résolus de manière très efficace. En outre, la taille du code étant très réduite, ceci se traduit par à une amélioration globale de productivité au cours du développement, puis simplifie la maintenance de l’application.

Par ailleurs, les Contraintes Globales sont des briques logicielles, réutilisables et modulaires, qui, combinées entre elles, permettent de réaliser rapidement des applications performantes dans différents domaines tels que l’ordonnancement de production, la logistique ou encore la planification de personnel.

Le concept de Contrainte Globale est à présent largement reconnu au niveau mondial.

Architecture ouverte

Toute la puissance des Contraintes Globales est disponible au sein d’un noyau unique contenant un langage de modélisation de contraintes et trois solveurs (i.e. rationnels, domaines-finis et Contraintes Globales). CHIP est disponible sous trois versions:

  • CHIP++: langage déclaratif de haut niveau, comprenant un environnement de développement complet et permettant donc le RAD (Rapid Application Development)
  • CHIP-C: langage de programmation C, ce qui permet de réaliser l’intégration fine entre la technologie de Programmation Par Contraintes et du code existant, via des mécanismes habituels (make, SCCS, etc.)
  • CHIP-C++: langage de programmation C++, ce qui permet la construction de nouveaux modules logiciels réutilisables, selon une approche Orientée Objet.

CHIP V5 est à présent disponible sous plates-formes UNIX, Linux et Windows XP-2000.

Connexion avec XPRESS-MP : Le moteur XPRESS-MP de DashOptimization, leader du domaine de la Programmation Mathématique, est totalement intégré avec le système CHIP V5.

Livres blancs

Consultez ou téléchargez les derniers livres blanc CHP (en anglais) :

Livres blancs - PDF

Application Development with the CHIP System (fichier PDF, 188ko)

Livres blancs - PDF

The chip system (fichier PDF, 146ko)

Livres blancs - PDF

Chip example code (fichier PDF, 129ko)

Demandes
d'informations

Plus d'information à propos de nos produits et solutions ?

Afin de répondre à vos demandes vous pouvez nous contacter via notre formulaire de contact ou par téléphone.

Adresse

Parc Club Orsay Université
4, rue Jean Rostand
91893 ORSAY Cedex
Découvrez plus d’informations sur COSYTEC, trouvez des offres d’emploi et connectez-vous avec d’autres personnes.

Téléphone

+33.(0)1.60.19.37.38

E-mail

info@cosytec.fr

Recrutement

jobs@cosytec.fr
  

Plus d'information à propos de nos produits et solutions ?

Afin de répondre à vos demandes vous pouvez nous contacter via notre formulaire de contact ou par téléphone.

Adresse

Parc Club Orsay Université
4, rue Jean Rostand
91893 ORSAY Cedex
Découvrez plus d’informations sur COSYTEC, trouvez des offres d’emploi et connectez-vous avec d’autres personnes.

Téléphone

+33.(0)1.60.19.37.38

E-mail

info@cosytec.fr

Recrutement

jobs@cosytec.fr