PyCSP3 est une librairie Python qui permet de développer de manière déclarative des modèles de problèmes combinatoires sous contraintes. Plus précisément, avec PyCSP3, il est possible de créer des modèles de problèmes de type CSP (Problème de satisfaction de contraintes) et COP (problème d’optimisation des contraintes). Sur le site dédié, vous trouverez tout ce que vous devez savoir sur la Programmation par Contraintes (CP) et PyCSP3, avec plus de 50 Notebooks Jupyter.

Ceux-ci permettent :

  • de découvrir les vingt contraintes les plus populaires, avec des notebooks Jupyter dédiés
  • de découvrir, étape par étape, une trentaine de modèles classiques (planification de championnat sportif, allocation de fréquences,etc.), également avec des notebooks Jupyter dédiés

Un guide complet est disponible ici.


Auteurs :
Gilles Audemard
Christophe Lecoutre
Nicolas Szczepanski

MIT    Toute catégorie    Logiciels pérennes    Logiciels récents   

    • Aller sur la page web du logiciel

    Code source

    Rapports techniques

    2021 Christophe Lecoutre, Nicolas Szczepanski, PyCSP3: Modeling Combinatorial Constrained Problems in Python 2021.