The Vaucanson team is pleased to announce the release of Vaucanson 1.4.
Vaucanson is a platform for manipulating weighted finite state automata. It includes a C++ generic library and a command-line interface (TAF-Kit).
http://www.lrde.epita.fr/cgi-bin/twiki/view/Vaucanson/Vaucanson14
Vaucanson 1.4 is a major release featuring massive changes since our last release 1.3.2 two years ago. The most important changes are listed below. Please refer to the NEWS file for details.
- A user's manual that fully documents the algorithms and automata available through the TAF-Kit command-line interface.
- As part of this documentation and specification effort, many commands have been added, renamed, and generalized. So much in fact that it makes more sense to ask you to scan the user manual rather than list them here.
- More examples of automata are provided, and "factories" (i.e., programs that generate scalable families of automata) are installed.
- Two new fields have been implemented and can be used for weights: Q (rational numbers represented by a pair of 64bit integers) and F2 (a.k.a. Z/2Z).
You can find the new release here: http://www.lrde.epita.fr/dload/vaucanson/1.4/vaucanson-1.4.tar.gz (55MB) http://www.lrde.epita.fr/dload/vaucanson/1.4/vaucanson-1.4.tar.bz2 (50MB)
MD5: 6ba3b9e58fb55a88c4c655247d4901c6 vaucanson-1.4.tar.gz 108688a43c070156cfaad8905ce87510 vaucanson-1.4.tar.xz
Please send bug reports to vaucanson-bugs@lrde.epita.fr and other inquiries to vaucanson@lrde.epita.fr.