/sokoban

Simple Sokoban solver using SAT solver Minisat

Primary LanguagePython

Sokoban solver

Run example

Implemented and tested on Windows 10 and Python 3.6

cd src
python sokoban.py maps/map0.txt