Giters

manavkulshrestha / 2x2_RubiksCube_SATSolved

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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

Languages

Language:Python 100.0%