Finds the next solution of the problem

Returns true if an additional solution can be found, else false

The following code shows how to scan all the solutions of a predefined problem containing b, x, y and z as decision variables:

while (cp_find_next_sol)
 writeln("b:", b, " x:", x, " y:", y, " z:", z)

cp_reset_search cp_minimize cp_maximize cp_set_branching