# File lib/dep_selector/gecode_wrapper.rb, line 41
    def self.finalize(gecode_problem)
      proc { Dep_gecode.VersionProblemDestroy(gecode_problem) }
    end