I'm pretty sure it's using some version of Fridrich. It looks like it in the video, and the source code screenshot has a file name, "solve_f2l.cpp", that would appear to be referring to the "first two layers" step, which is usually abbreviated as f2l.
For finding a solution by computer, it has the advantage of being almost completely a rote application of algorithms.
For finding a solution by computer, it has the advantage of being almost completely a rote application of algorithms.