I have uploaded new source code and binaries for MAF. This version features many new utilities implementing procedures such as coset enumeration and low index subgroup discovery. It also has extensively rewritten documentation and the 64-bit version uses much less memory.
This release is not quite complete as yet. I intend to change the method used to ensure enough overlaps have been considered when a finite index subgroup is detected by automata, and the documentation probably needs some more corrections. However, I hope it will prove reasonably usable.