Solver GUI implementation