Document most of Solving Module