Replaced solver.pro.