Updating: ATS-extsolve: README