Solver Copilot