GUI+Solver revived.