Vaucanson 2b.2 (January 10th, 2014)

From LRDE

Revision as of 16:00, 6 November 2014 by Bot (talk | contribs) (Rename Vaucanson namespace into Vcsn)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


Vaucanson 2 is an ongoing full rewrite of Vaucanson. 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. However, it does not yet provide any form of useful documentation.

The reader is invited to read the NEWS.txt file in the distribution to know more about what Vaucanson 2 can already do.

It available on the MacPorts as the 'vaucanson' package.

Downloads

Requirements

C++ compiler
Clang 3.4 or better are known to work properly. GNU g++ 4.7 cannot compiler Vaucanson 2 at all, however 4.8 and 4.9 can compile most of it correctly: they fail to compile properly (incorrect behavior at runtime) some pieces of code in "tupleset", an undocumented feature, so you should not be concerned, yet.
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.
Bison
Bison (3.0 or later) is a parser generator. This requirement will soon be lifted.