Searched refs:satisfiable_constraints (Results 1 – 1 of 1) sorted by relevance
2168 std::deque<bool> satisfiable_constraints(input_cs_num_rows, false); in choose_branching_variable() local2174 satisfiable_constraints[i] = true; in choose_branching_variable()2186 if (!satisfiable_constraints[i]) { in choose_branching_variable()