More updates to solvers.py