Added executable Solver.exe