GitHub

Sources for Coset Solver and Two-Phase Solver

These are the sources for the proof of God's number for the 3x3x3 Rubik's Cube in the half-turn metric.

Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
LICENSE		LICENSE
README.md		README.md
TODO.md		TODO.md
aexpand.pl		aexpand.pl
bestsol.h		bestsol.h
corner_order.h		corner_order.h
cubepos.w		cubepos.w
cubeutil.w		cubeutil.w
hcoset.html		hcoset.html
hcoset.w		hcoset.w
hcoset3.w		hcoset3.w
index.html		index.html
kocsymm.w		kocsymm.w
makefile		makefile
makefile-nxopt		makefile-nxopt
nxopt.md		nxopt.md
nxopt.w		nxopt.w
phase1prune.w		phase1prune.w
phase1prune2.w		phase1prune2.w
phase2prune.w		phase2prune.w
twophase.html		twophase.html
twophase.w		twophase.w

Provide feedback