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.
I only signed up for SourceForge so that I could make MAF available as an open source program. Using the SourceForge web site is a very frustrating experience. There are so many things you can do that actually doing any of them is far more difficult than it should be. The help pages are hopeless. For example the information on how to create a new project is hopelessly incomplete, and I had to contact online support to find out how to get my source code into Subversion. I wasted several hours trying to find out how to do this, and can’t believe there is no simple step by step guide for doing this.
The trick is you have to check out the project before you can add files to it.