# 数独

这个示例演示了一个由 DS 演绎系统驱动的**数独求解器**。求解器使用逻辑 Rule 基于标准数独约束来推导单元格的值：

- **行约束**：每一行必须恰好包含一次数字 1-9
- **列约束**：每一列必须恰好包含一次数字 1-9
- **宫约束**：每个 3×3 宫必须恰好包含一次数字 1-9

## 工作原理

数独求解器将数独规则编码为 DS 系统中的逻辑推理 Rule。当您点击“Solve”时，搜索引擎会迭代应用这些 Rule 来推导新的单元格值，直到谜题完成。您也可以点击“Update”来执行单次推理迭代，并在日志中观察逐步求解过程。

## 交互式演示

<script setup>
import Sudoku from '../../examples/Sudoku.vue'
</script>

<ClientOnly>
  <Sudoku />
</ClientOnly>
