Solving the mini Rubik (2x2) in Coq
-
Updated
Jun 16, 2023 - Coq
Solving the mini Rubik (2x2) in Coq
Unofficial scrambler for WCA puzzles cubes - Javascript
The 2x2x2 Rubik's Cube (also called as Pocket Cube or Mini Cube) is the two layered version of a Rubik's Cube.
Fast and simple 2x2x2 Rubik's cube optimal solver with basic UI
The Pocket Cube (2x2 Rubik's Cube) Solver. 🧊
Finds the optimal solution to a 2x2x2 Rubik's cube
Add a description, image, and links to the 2x2x2 topic page so that developers can more easily learn about it.
To associate your repository with the 2x2x2 topic, visit your repo's landing page and select "manage topics."