# File lib/dep_selector/gecode_wrapper.rb, line 126
    def package_disabled_count
      raise "Gecode internal failure (package disabled count)" if gecode_problem.nil?
      Dep_gecode.GetDisabledVariableCount(gecode_problem)
    end