XCSP3 est un format universel, basé sur XML, permettant de représenter des instances de problèmes combinatoires sous contraintes. Ce format est compact, compréhensible et structuré (il offre notamment la possibilités de déclarer des tableaux de variables et d’identifier des groupes syntaxiques et sémantiques de contraintes).

XCSP3 introduit un ensemble limité de formes de contraintes élementaires, et permet de nombreuses variations de celles-ci par le biais de différents mécanismes logiques. En conséquence, XCSP3 englobe pratiquement toutes les contraintes que l’on peut trouver dans les différents solveurs de contraintes.

Pour ne traiter que les contraintes et les frameworks les plus populaires, il est possible de se focaliser sur XCSP3-core. Pour modéliser les problèmes de manière déclarative et les compiler sous forme d’instances XCSP3, il est possible d’utiliser la bibliothèque Python PyCSP3.

Vous pouvez consulter les outils et les spécifications de XCSP3.



Toute catégorie    Logiciels pérennes    Site web