reformatting and adding solver doc