Hello,
as some of you might have already heard somewhere, I am currently developing a megaminx solver as a project at university. Since my solver has now finally come to a point of producing valuable results, I thought, I would start documenting a bit of what is going on in this thread...