Sokoban solver and visualizer
-
Updated
Feb 10, 2025 - Python
Sokoban solver and visualizer
Solving various problems using genetic algorithm
This is a simple planning problem solver that encodes a bounded planning problem as propositional logic and uses https://fmv.jku.at/limboole/ to solve it. I did this for my formal models class.
Add a description, image, and links to the planning-problem topic page so that developers can more easily learn about it.
To associate your repository with the planning-problem topic, visit your repo's landing page and select "manage topics."