Vaucanson 2.0 (July 25th, 2014)


Revision as of 17:11, 6 November 2014 by Bot (talk | contribs) (Fix vaucanson links to vcsn links)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.