CU_323 solver: corrections.
CU_323 solver: remove mUpper.
CU_323 solver: bugfixes.
CU_323 solver: tablebase.
CU_323 solver: theoretically complete.
Cuboids: produce the real quaternion group!
CU_323 solver: progress
View revisions
Also available in: Atom