God's algorithm has worked fine on consumer hardware for decades. Look up Korf. Even Cube Explorer has an optimal solver.