Expanded on the solver interface section of the README.