PyCSP3 is a Python library for writting, in a declarative manner, models of constraint satisfaction and optimization problems. Models are compiled into the intermediate format XCSP3, and can be directly solved with two embedded solvers (ACE and Choco).

On a dedicated website, find more than 60 Jupyter notebooks for gently learning CP (Constraint Programming):

• understanding 25 popular constraints
• understanding, step by step, 34 models of classical problems

Useful links:

• pycsp.org
• a well-documented guide
• a PyPi package
• xcsp.org

All the PyCSP3 models can be downloaded as a zip file