Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

XCSP3 and its ecosystem

Abstract : In this paper, we present a summary of XCSP3, together with its ecosystem. XCSP3 is a format used to build integrated representations of combinatorial constrained problems. Interestingly, XCSP3 preserves the structure of models, by handling arrays of variables and groups/blocks of constraints, which makes it rather unique in the literature. Furthermore, the ecosystem of XCSP3 is well supplied: it includes companion tools (parsers and checkers), a website with a search engine for selecting and downloading instances, and competitions of solvers. The Java-based modeling API, called JvCSP3, is the last developed piece of this complete production chain.
Document type :
Journal articles
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03299472
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Monday, July 26, 2021 - 2:48:52 PM
Last modification on : Sunday, June 19, 2022 - 10:10:04 AM

Identifiers

  • HAL Id : hal-03299472, version 1

Collections

Citation

Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel. XCSP3 and its ecosystem. Constraints Journal (Constraints), 2020, pp.1-23. ⟨hal-03299472⟩

Share

Metrics

Record views

14