Extracted solver, in plugin form.