ProgressionEntry is a single entry in the progression of the solver.

Progressioner is an interface that can be implemented by a solver to indicate that is can return the progression of the solver.

Solution is a solution to a problem.

Solver is an interface that can be implemented by a struct to indicate that it can solve a problem.