Solver notes

Loading solver notes

Reading the LaTeX source file.