Christophe Lecoutre
Professor in Computer Science
- Research in Constraint Programming - Artificial Intelligence
at CRIL (Centre de Recherche en Informatique de Lens) - Courses in various topics of Computer Science
at IUT de Lens - Head of the DIM (Domaine d'Intérêt Majeur) AI
at Université d'Artois (since 2018) - Leader at CRIL of the CPER (Contrat de Plan Etat-Région) projects DATA/CornelIA
of the region Hauts-de-France (since 2016) - Member of the CNU (Conseil National des Universités)
for Section 27, Computer Science (2015-2023) - Scientific Leader of the PIA4 project MAIA ("Mastering AI Applications")
of the alliance A2U involving UArtois, ULCO and UPJV (since 2022) - Developer of the Python modeling library PyCSP3 and Java constraint solver ACE
Modeling and Solving Combinatorial Constrained Problems
- PyCSP3 is a Python library for modeling combinatorial constrained problems ( while compiling toward XCSP3 format ).
PyCSP3, v 2.4 (August 28, 2024), which benefits from this website, offers:- easy modeling (with a clear separation between modeling and solving processes)
- easy acess to two embedded solvers, ACE and Choco
- incremental solving
- 70 Jupyter notebooks to learn/understand Constraint Programming, by allowing the user to test many constraints and models
- the code of PyCSP3 on Github
- a complete and well-documented guide for PyCSP3
- PyCSP3 as a PyPi package
- a new GitHub repository for Models and Data; see pycsp3-models and this page
- ACE is a generic constraint solver, written in Java, for solving combinatorial constrained problems (given in XCSP3 form). ACE, v 2.4 (August 28, 2024) is available on GitHub. Note that you can find:
- XCSP3 is an XML-based format that preserves the structure of the models. You can find:
Constraint Networks - Techniques and Algorithms
