# File lib/dep_selector/gecode_wrapper.rb, line 45
    def check_package_id(package_id, param_name)
      raise "Gecode #{param_name} is out of range #{package_id}" unless (package_id >= 0 && package_id < self.size()) 
    end