Skip to Main content Skip to Navigation
Conference papers

CSP Object Model : un assistant de modélisation indépendant des solveurs.

Résumé : CSPOM est un modèle objet permettant de représenter un problème de satisfaction de contraintes. L’objectif de CSPOM est de constituer une interface unifiée entre un grand nombre de solveurs et de langages de modélisation. Pour maximiser l’indépendance de CSPOM vis-à-vis de tout solveur, le modèle objet est minimal : aucune hypothèse n’est faite sur les contraintes supportées par les solveurs. Une seule classe généralise toutes les contraintes, et quelques types de variables standard facilitent le travail de modélisation. CSPOM a été conçu afin de simplifier la traduction/- reformulation des modèles, pour pouvoir adapter un modèle à un solveur. Un framework de reformulation facilement extensible est proposé dans ce but. Notre prototype supporte d’ores et déjà quatre langages de modélisation (XCSP, FlatZinc, une API Java et Scala très naturelle) et propose de plus quelques reformulateurs pouvant améliorer certains modèles naïfs
Document type :
Conference papers
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03388557
Contributor : Mylène Delrue Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2021 - 2:55:28 PM
Last modification on : Friday, October 29, 2021 - 1:26:03 PM

Identifiers

  • HAL Id : hal-03388557, version 1

Collections

Citation

Julien Vion. CSP Object Model : un assistant de modélisation indépendant des solveurs.. Actes des Dixièmes Journées Francophones de Programmation par Contraintes (JFPC'2014), Jun 2014, Angers, France. pp.311-314. ⟨hal-03388557⟩

Share

Metrics

Record views

7