# 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