pycsp3_solvers_extra
