Described the Solver in the Design Review doc. Needs proofreading.