# File lib/dep_selector/gecode_wrapper.rb, line 116
    def dump() 
      raise "Gecode internal failure" if gecode_problem.nil?
      Dep_gecode.VersionProblemDump(gecode_problem)
    end