Added docs to solver