Some progress with solvers