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