https://github.com/mariomarton/racket-sudoku-solver
Sudoku solver in Racket for any board size (including hexadoku & larger), built without constraint solvers or mutations. It solves any legal puzzle and detects invalid ones.
https://github.com/mariomarton/racket-sudoku-solver
functional-programming hexadoku-solver lisp racket racket-lang sudoku sudoku-solver
Last synced: about 2 months ago
JSON representation
Sudoku solver in Racket for any board size (including hexadoku & larger), built without constraint solvers or mutations. It solves any legal puzzle and detects invalid ones.
- Host: GitHub
- URL: https://github.com/mariomarton/racket-sudoku-solver
- Owner: mariomarton
- License: mit
- Created: 2025-02-27T13:18:23.000Z (2 months ago)
- Default Branch: main
- Last Pushed: 2025-02-27T14:55:40.000Z (2 months ago)
- Last Synced: 2025-02-27T19:29:56.174Z (2 months ago)
- Topics: functional-programming, hexadoku-solver, lisp, racket, racket-lang, sudoku, sudoku-solver
- Language: Racket
- Homepage:
- Size: 7.81 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# racket-sudoku-solver
This Racket program solves any legal sudoku puzzle with any number of pre-filled cells. It supports boards of any size that follow the formula:
$$ n^2 \times n^2 \mid n \geq 1 $$
For example, a standard 9x9 sudoku board corresponds to $n = 3$.
The program does not use constraint solvers or Racket mutations such as the `set!` form. It also verifies that the input puzzle adheres to sudoku rules.
## Manual
### Configuration
Ensure the three `*.rkt` files are in the same directory:
- **`run.rkt`** – Main file for executing commands.
- **`puzzles.rkt`** – Stores example and user-defined puzzles.
- **`racket-sudoku-solver.rkt`** – Contains all functions for solving puzzles.
### Running the Demo
This solver comes with a built-in demo that solves the 9 provided example puzzles. To run the demo, simply execute the **`run.rkt`** file.
### Solving Your Own Puzzle
#### 1. Provide a Puzzle
- Open **`puzzles.rkt`**.
- Use `0` to represent empty cells.
- All cell values must be in _decimal format_, even for larger puzzles like Hexadoku.
- Insert your sudoku puzzle in the following format:
```racket
(define userSudoku '(
0 2 0 0 0 8 0 6 5
0 0 1 3 4 0 0 0 0
0 9 8 2 0 5 0 0 0
0 0 0 0 0 0 8 0 0
0 0 0 9 5 0 0 0 2
2 7 0 8 1 3 5 0 6
0 4 0 6 0 0 9 0 8
1 8 7 0 0 9 6 2 0
9 6 0 4 0 2 0 0 0
))
```
#### 2. Run the Solver
- Inside **`run.rkt`**, use the `solve` function to solve your puzzle:
```racket
(solve userSudoku)
```
- If a solution exists, it will be printed to the standard output.
- An example of running a user-defined puzzle can be found at the end of the **`run.rkt`** file.
Now you're ready to solve sudoku puzzles of any size using Racket!