PyCSP3 is a Python library that allows to develop declarative models of combinatorial problems under constraints. More precisely, with PyCSP3, it is possible to create models of CSP (Constraint Satisfaction Problem) and COP (Constraint Optimization Problem) type problems. On the dedicated website, you will find everything you need to know about Constraint Programming (CP) and PyCSP3, with more than 50 Jupyter Notebooks.

These notebooks allow you to :

  • to discover the twenty most popular constraints, with dedicated Jupyter notebooks
  • to discover, step by step, about thirty classic models (sports championship planning, frequency allocation, and so on.), also with dedicated Jupyter notebooks

A complete guide is available here.


Authors :
Gilles Audemard
Christophe Lecoutre
Nicolas Szczepanski

MIT    Any category    Perennial software    Recent software   

    • Go to the software webpage

    Source code

    Technical reports

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