Add solver description and some links to definitions