g7_todo
pycsp3
