Takt29 / PencilPuzzleSATSolver Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

SATソルバー(minisat) を用いたペンシルパズルソルバー

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
lib		lib
solver		solver
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md

Repository files navigation

Pencil Puzzle SAT Solver

SATソルバー(minisat) を使用してペンシルパズルを解く

About

SATソルバー(minisat) を用いたペンシルパズルソルバー

Report repository

Releases

No releases published

Packages

No packages published

Languages