From e4d5d1b7a51f4a78e93a0f536a8cac67e62e5ff6 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 27 Nov 2025 01:50:47 +0000
Subject: [PATCH 1/2] Initial plan
From 6f9e84d803ab38878b25803003a01eb8a917647f Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 27 Nov 2025 01:56:04 +0000
Subject: [PATCH 2/2] Add introduction about the Sudoku implementation and
loading message
Co-authored-by: hzhangxyz <11623447+hzhangxyz@users.noreply.github.com>
---
docs/examples/sudoku.md | 18 +++++++++++++++++-
1 file changed, 17 insertions(+), 1 deletion(-)
diff --git a/docs/examples/sudoku.md b/docs/examples/sudoku.md
index a14db68..42af01a 100644
--- a/docs/examples/sudoku.md
+++ b/docs/examples/sudoku.md
@@ -1,6 +1,22 @@
# Sudoku
-
+This example demonstrates a **Sudoku Solver** powered by the DS deductive system. The solver uses logical rules to deduce cell values based on standard Sudoku constraints:
+
+- **Row constraint**: Each row must contain the digits 1-9 exactly once
+- **Column constraint**: Each column must contain the digits 1-9 exactly once
+- **Box constraint**: Each 3×3 box must contain the digits 1-9 exactly once
+
+## How It Works
+
+The Sudoku solver encodes Sudoku rules as logical inference rules in the DS system. When you click "Solve", the search engine iteratively applies these rules to deduce new cell values until the puzzle is complete. You can also click "Update" to perform a single iteration of inference and observe the step-by-step solving process in the log.
+
+## Interactive Demo
+
+