some progress on solver docs