Returns true if the Algorithm is empty.

solver.empty()

(e.g. in the very beginning or after unsuccessful read).