ai :: SearchSolver :: solution=
run
.ensure solution != null implies problem.is_goal(solution.state)
# The solution found by the last `run`.
#
# ensure `solution != null implies problem.is_goal(solution.state)`
var solution: nullable SearchNode[S,A] = null
lib/ai/search.nit:309,2--312,46