Searched refs:max_loop_multiplicity (Results 1 – 1 of 1) sorted by relevance
65 int max_loop_multiplicity = 6; in read_dimacs() local109 i < (mult_count % max_loop_multiplicity) + 1; ++i) in read_dimacs()