HoDoKu 重制版 – 经典 Java 数独求解器移植为 PWA 并加入 AI 教练功能

HoDoKu 数独求解器新增 AI Super Solver & Coach 功能，可逐步引导用户解题并验证候选数字矛盾。该工具基于 TypeScript 开发，无需 Java 和安装，支持每日生成不同难度数独并提供技术解析。用户可选择提示详细程度，从苏格拉底式引导到完整步骤展示，所有提示均基于真实解题技巧，非猜测。