/*
   * Allow or disallow package downgrades
   *
   * call-seq:
   *  solver.allow_downgrade = true
   *
   */
  void set_allow_downgrade( int bflag )