Vaucanson 2.0 (July 25th, 2014)

Vaucanson 2 is a full rewrite of the Vaucanson platform. While it mostly ressembles Vaucanson 1 in many regards, it is also very different in many others: it is much faster, far easier to use, and provides a richer feature-set. Its strongest weakness is probably its documentation.

Documentation

• Documentation of the Python interface
• The News File contains many examples
• The C++ reference manual is poor, yet not empty

Available Ports

• MacPorts

Run this command:

sudo port sync && sudo port install vaucanson

Downloads

• Tarballs (sources to compile):
  • vaucanson-2.0.tar.bz2 (745KB)
  • vaucanson-2.0.tar.xz (633KB)

Requirements

In order to compile Vaucanson 2, you need:

C++ compiler

Clang 3.4 or newer and GNU G++ 4.8 or newer are known to work properly. GNU g++ 4.7 cannot compile Vaucanson 2.0 at all.

Graphviz

The display of automata is made using AT&T Graphviz library. (On Ubuntu/Debian, install the following package: graphviz)

Boost

Boost (version 1.49 or later) provides free peer-reviewed portable C++ source libraries (at least the Boost.Python and Boost.Regex components, and probably others).

Flex

The Flex scanner generater, 2.5.37 or better.

Ccache

Although not required, it is strongly recommended to build using ccache (by passing CXX=ccache clang++ as argument to configure). Otherwise you may experience nasty lags at runtime (yes, really, at runtime).

Doxygen

To build the C++ reference manual.

IPython

Although not strictly needed, it is required if you want to enjoy the Vaucanson interactive notebooks.