Hashiwokakero Solver

A Hashiwokakero Solver using PySAT, DPLL, A* and Brute-force with friendly CLI tools for solving and doing benchmark

Features

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

Tech Stack

Screenshots

Guide

• Read project guide here