manavkulshrestha/2x2_RubiksCube_SATSolved

Solving a 2x2 Rubik's Cube using state representation through boolean satisfiability and graph searching as well as SAT Solving.

Python