A Hashiwokakero Solver using PySAT, DPLL, A* and Brute-force with friendly CLI tools for solving and doing benchmark
Run Solver
usage: hashiwokakero [-h] [-v] [-a {pysat,astar,backtrack,brute}] [-i INPUT]
HCMUS AI Foundations -- Hashiwokakero Project
options:
-h, --help show this help message and exit
-v, --version Version
-a {pysat,astar,backtrack,brute}, --algo {pysat,astar,backtrack,brute}
Choose which algo will be used
-i INPUT, --input INPUT
Path to the input file
uv run main -a pysat -i "./data/input/20x20/input-04.txt"
or
uv run main -a astar -i "./data/input/13x13/input-05.txt"
Run Benchmark
usage: hashiwokakero [-h] [-m] [-e]
HCMUS AI Foundations -- Hashiwokakero Project
options:
-h, --help show this help message and exit
-m, --metrics Export metrics images
-e, --export Export result to output
uv run src/benchmark.py -m -e
- Read project guide here