Geeks
mcifra
/
sokoban
Simple Sokoban solver using SAT solver Minisat
Primary Language
Python
sokoban GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Stargazers
BiscuitZhang
Guangzhou University
vzhn
Montenegro