/*
   * Do split provide
   *
   * call-seq:
   *  solver.do_split_provides -> bool
   *
   */
  int do_split_provides()