/*
   * Distupgrade
   *
   * call-seq:
   *  solver.distupgrade -> bool
   *
   */
  int distupgrade()