Update config-solver.py