Update solvers.php