Code Editor : solvers.txt