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.

MIT    Any category    Perennial software    Recent software   

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