pycsp3