Some c++ code based on Gecode to solve CSP problems