Update README.md after solver & doc rewrite