The Vaucanson project

Vaucanson is a finite state machine manipulation platform, consisting of a library and tools implemented on top of it. It benefits from the expertise we gained from our intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at the Ecole Nationale Supérieure des Télécommunications (ENST).

Latest News

• September 22th, 2009: Vaucanson 1.3.2 is released.
• July 8th, 2009: Vaucanson 1.3.1 is released.
• May 26th, 2009: Vaucanson 1.3 is released.
• May 4th, 2009: Vaucanson 1.2.96 (release candidate for 1.3) is released.
• January 22th, 2009: Vaucanson 1.2.95 (release candidate for 1.3) is released.
• November 17th, 2008: Vaucanson 1.2.94 (beta for 1.3) is released.
• October 10th, 2008: Vaucanson 1.2.93 (beta for 1.3) is released.
• September 9th, 2008: Vaucanson 1.2.92 (beta for 1.3) is released.
• August 23rd, 2008: Vaucanson 1.2.91 (beta for 1.3) is released.
• August 1st, 2008: Vaucanson 1.2.90 (beta for 1.3) is released.
• March 20th, 2008: Vaucanson 1.2 is released.
• December 14, 2007: Vaucanson 1.1.1 is released.
• July 30, 2007: Vaucanson 1.1 is released.
• June 13, 2007: Vaucanson 1.0a is released.
• July 28, 2006: Vaucanson 1.0 is released.

XML formalism for automata representation

The Vaucanson group has proposed a XML formalism for automata representation.

General Informations

You may find additional information on these pages:

• Overview.
• Papers related to Vaucanson.
• Vaucanson's Trac project managing website.
• Related links.
• Contributors.

Resources

• Download: The latest version of the Vaucanson C++ library.

Extra information for developers are available on the Menu page. It gives access to more documentation, files related to the library and other miscellaneous resources.

Development

The following mailing lists are the group's main means of discussion:

• Vaucanson: General questions, discussions and announcements.
• Vaucanson bugs: Bug reports about the library.
• Vaucanson patches: Patches and related discussions.

Development is also managed through a Trac system that can be found at https://trac.lrde.org/vaucanson/.

Contact

Send any question or comments to vaucanson@lrde.epita.fr.
Send bug reports to vaucanson-bugs@lrde.epita.fr.

to top