PyCSP3-Scheduling: A Scheduling Extension for PyCSP3

arXiv:2605.14559v1 Announce Type: new Abstract: PyCSP$^3$ provides a productive way to build constraint models for solving combinatorial constrained problems and export them to XCSP$^3$, 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, ev