Add full solver, edit save/load, add client with future&callable, fix
bugs, slow display of solver .