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