Solver doc