xcsp3
Modeling Constrained Combinatorial Problems in Python
A unified launcher for XCSP solver
Scheduling extension for pycsp3 with interval variables, sequence variables, and scheduling constraints.