PyCSP3-Scheduling: A Scheduling Extension for PyCSP3
Abstract
PyCSP provides a productive way to build constraint models for solving combinatorial constrained problems and export them to XCSP, preserving a complete separation between modeling and solving. However, it lacks native support for scheduling abstractions such as interval variables, sequence variables, and resource functions. As a result, scheduling models must be encoded with low-level integer variables and manual channeling constraints, even though PyCSP already provides global constraints like NoOverlap and Cumulative on integer arrays. We present PyCSP Scheduling, a library that adds scheduling abstractions to PyCSP through 53 dedicated constraints and 27 expressions, and compiles them down to standard PyCSP/XCSP constraints, maintaining the modeling/solving separation that underpins the PyCSP ecosystem. On 261 paired instances across 17 model families (5 runs each), both formulations produce identical objectives on all 72 doubly-proved optimal pairs and nearly half of the families (8/17) remain structurally unchanged after compilation; however, runtime performance diverges across families, with clear gains on some (up to 5.8x) and regressions on others due to the overhead of compilation decompositions. Code and benchmarks are available at: https://github.com/sohaibafifi/pycsp3-scheduling
Keywords
Cite
@article{arxiv.2605.14559,
title = {PyCSP3-Scheduling: A Scheduling Extension for PyCSP3},
author = {Sohaib Afifi},
journal= {arXiv preprint arXiv:2605.14559},
year = {2026}
}