Joseph Weston authored Sep 26, 2017 and Christoph Groth committed Mar 13, 2019

Now solvers are instantiated with a kernel, and the most of
the logic for constructing the right-hand-side etc. is passed
over to the 'solve' function.