Vaucanson 1.4 (September 28th, 2011)
From LRDE
The Vcsn library is free software. It is distributed under the
conditions of the GNU General Public License
(www.gnu.org).
Downloads
- Tarballs (sources to compile):
- vaucanson-1.4.tar.gz (55MB)
- vaucanson-1.4.tar.xz (50MB)
- Documentation:
- TAFK.pdf (TAF-Kit documentation)
- NEWS.pdf
- README.pdf
Changes since version 1.3.2
Vaucanson 1.4 is a major release featuring massive changes since the 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).
Requirements
- C++ compiler
- GNU g++ 4.x
- XML
- The XML I/O system is based on the use of the Apache Xerces C++ library version 2.7+ (http://xml.apache.org/xerces-c/). (On Ubuntu/Debian, install the following packages: libxerces27 and libxerces27-dev, or libxerces-c28 and libxerces-c28-dev)
- Graphviz
- The display of automata is made using AT&T Graphviz library. (On Ubuntu/Debian, install the following package: graphviz)
- Boost
- Boost (version 1.34 or later) provides free peer-reviewed portable C++ source libraries. (On Ubuntu/Debian, install the following packages: libboost-dev, libboost-serialization-dev, libboost-graph, libboost-graph-dev)
- Ncurses
- needed for building the TAF-Kit. (On Ubuntu/Debian, install the following packages: libncurses5, libncurses-dev).