Skip to content
This repository was archived by the owner on Apr 5, 2025. It is now read-only.

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

Notifications You must be signed in to change notification settings

yuran1811/hcmus-ai-foundations--hashiwokakero

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

60 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Hashiwokakero Solver

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

Stars Forks Issues Commits Code Size

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

About

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

Topics

Resources

Stars

Watchers

Forks

Contributors 3

  •  
  •  
  •