XCSP3 and its ecosystem - Université d'Artois Accéder directement au contenu
Article Dans Une Revue Constraints Journal (Constraints) Année : 2020

XCSP3 and its ecosystem

Résumé

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.
Fichier non déposé

Dates et versions

hal-03299472 , version 1 (26-07-2021)

Identifiants

  • HAL Id : hal-03299472 , version 1

Citer

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⟩
36 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More