reworking document; finished intro, solvers tex