SAT Lite：迷你CNF 可满足小游戏

玩法一句话

给定一小份 CNF，通过切换变量真假消除子句；触发冲突时回退，直到满足或证明无解。

和站点主题的关系

SAT 是等价性检查、模型检测 BMC、许多 EDA 后端的共同引擎。这个小游戏只服务直觉，不替代真实求解器。

实现说明（给原原 / 设设）

• 本文件只提供文案与 playPath。
• 玩法页建议静态打包，无后端；题目可内嵌 JSON。
• 未实现前，详情页可显示「玩法页即将上线」，但 playPath 保持稳定。