 |
Modeling and Solving Combinatorial Constrained Problems with PyCSP3 and ACE
1 : Centre de Recherche en Informatique de Lens
Université d'Artois : UMR8188, Centre National de la Recherche Scientifique : UMR8188
In this paper, we succintly present the main ingredients of the complete tool chain we propose for handling combinatorial constrained problems, from a CP (Constraint Programming) perspective: i) PySCP3, a Python library for modeling constrained problems, and ii) ACE, a constraint solver written in Java, which is competitive as shown by the results of the 2022 XCSP3 competition. We believe that its competitiveness is due to its search components (and their combinations), showing that ``search is not dead''.
