Vaucanson 2.0 (October 11th, 2015)

From LRDE

Revision as of 20:16, 11 October 2015 by Akim (talk | contribs) (Vcsn 2.1)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


Vcsn 2.1 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.

Documentation

Available Ports

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

Downloads


Requirements

In order to compile Vcsn 2.1, you need:

C++ compiler
Clang 3.6 or newer and GNU G++ 4.9 or newer are known to work properly.
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
Compiler cache.
Doxygen
To build the C++ reference manual.
IPython
Although not strictly needed, it is required if you want to enjoy the Vcsn interactive notebooks.