/*
   * No update provide
   *
   * call-seq:
   *  solver.no_update_provide -> bool
   *
   */
  int no_update_provide()