Method explore

gecode/driver/script.hpp:190–192

  class GistEngine {
  public:
    static void explore(Space* root, const Gist::Options& opt) {
      (void) Gist::dfs(root, opt);
    }
  };

  /// Specialization for DFS