Added stuff to the readme about the two solvers.