all_solutions
n_solutions
one_solution
some_solutions
