Personal tools

Vaucanson 2.0 (July 25th, 2014)

From LRDE

(Redirected from Vcsn/Vaucanson2.0)
Jump to: navigation, search


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

Available Ports

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

Downloads


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.