Updated global readme. Still needs spec for solver.