Simple Sokoban solver using SAT solver Minisat
Primary LanguagePython
No issues in this repository yet.