add gecode c++ wrapper to the depsolver project