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

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