unblock-car-puzzle-solver

Here are 2 public repositories matching this topic...

solves "Unblock Me" or "Sliding Cars" sort of puzzles then lets you interact with an animation of the solution

Repository for the course project done as part of CS-228 (Logic for Computer Science) course at IIT Bombay in Spring 2022.

python sat-solver z3py unblock-car-puzzle-solver

Add a description, image, and links to the unblock-car-puzzle-solver topic page so that developers can more easily learn about it.

To associate your repository with the unblock-car-puzzle-solver topic, visit your repo's landing page and select "manage topics."