twentyseven-0.0.0: Rubik's cube solver

Safe HaskellNone
LanguageHaskell2010

Rubik.Solver.Optimal

Documentation

optiProj :: Projection Cube (MoveTag Move18 [SymMove UDFix FlipUDSlicePermu], MoveTag Move18 [SymMove UDFix FlipUDSlicePermu], MoveTag Move18 [SymMove UDFix FlipUDSlicePermu], MoveTag Move18 [RawMove CornerOrien], MoveTag Move18 [RawMove CornerOrien], MoveTag Move18 [RawMove CornerOrien], MoveTag Move18 [SymMove UDFix CornerPermu]) (SymMove UDFix FlipUDSlicePermu, SymMove UDFix FlipUDSlicePermu, SymMove UDFix FlipUDSlicePermu, RawMove CornerOrien, RawMove CornerOrien, RawMove CornerOrien, SymMove UDFix CornerPermu) ((SymClass UDFix FlipUDSlicePermu, SymCode UDFix), (SymClass UDFix FlipUDSlicePermu, SymCode UDFix), (SymClass UDFix FlipUDSlicePermu, SymCode UDFix), RawCoord CornerOrien, RawCoord CornerOrien, RawCoord CornerOrien, (SymClass UDFix CornerPermu, SymCode UDFix)) Source

optiDist :: Distance m (SymCoord UDFix a, SymCoord UDFix a1, SymCoord UDFix a2, RawCoord CornerOrien, RawCoord CornerOrien, RawCoord CornerOrien, SymCoord UDFix a3) Source

maxOrEqualPlusOne :: (Distance t t1, Distance t2 t1, Distance t3 t1) -> Distance m t1 Source

solve :: Cube -> Move Source

toIdx :: (SymCoord UDFix a, RawCoord CornerOrien) -> Int Source

fudsp_co :: Distance m (SymCoord UDFix a, RawCoord CornerOrien) Source

cp_co :: Distance m (SymCoord UDFix a, RawCoord CornerOrien) Source