MAF (Monoid Automata Factory): Project Web Hosting - Open Source Software

MAF icon MAF (Monoid Automata Factory)

Project Information

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

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 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)

Main Sourceforge page for MAF

Get support


Visit the Development Blog:

To find out about what will be happening soon in MAF development visit the MAF development blog.

Join this project:

To take part in MAF development please contact the project administrators as shown on the project summary page.

Get the source code:

Source code for this project is available through the MAF Subversion repository.

Building MAF

You can find some notes on how to build MAF on various platforms in Building MAF.