Improved documentation for the solving functions