This is the open source version of MAF (Monoid Automata Factory) released under the terms of the GNU public licence. It is project maffsa on SourceForge.net.
MAF is a reworking in C++ of KBMAG. It is a package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata.
MAF was registered on SourceForge.net on Sep 16, 2009 by Alun Williams
View summary of recent changes to MAF
Download MAF (Monoid Automata Factory)
View MAF documentation (Version 2)
View MAF documentation (Version 1)
To find out about what will be happening soon in MAF development visit the MAF development blog.
To take part in MAF development please contact the project administrators as shown on the project summary page.
Source code for this project is available through the MAF Subversion repository.
You can find some notes on how to build MAF on various platforms in Building MAF.