Repository for the course project done as part of CS-228 (Logic for Computer Science) course at IIT Bombay in Spring 2022.
Webpage: Webpage: https://sarthakmittal92.github.io/projects/spr22/unblock-car
Original Repository: https://github.com/sarthakmittal92/past-repos/blob/main/CS228.tar.gz
Please read generator.py for the problem description. Five input/output pairs are also included.