(tnoodle) Merging in changes from gnehzr. I have no idea if this is going to preserve his commit history.
Merge branch 'master' of github.com:cubing/min2phase into min2phase
fix incidental ERROR 7
Merge https://github.com/ChenShuang/min2phase into min2phase