Vaucanson 2.0 (July 25th, 2014)


The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.


Available Ports

  • MacPorts
Run this command:
sudo port sync && sudo port install vaucanson



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.
The display of automata is made using AT&T Graphviz library. (On Ubuntu/Debian, install the following package: graphviz)
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).
The Flex scanner generater, 2.5.37 or better.
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).
To build the C++ reference manual.
Although not strictly needed, it is required if you want to enjoy the Vaucanson interactive notebooks.