Vaucanson 2.0 (October 11th, 2015)
From LRDE
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.
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
- Documentation of the Python interface
- The News File contains many examples
- The C++ reference manual is poor, yet not empty
Available Ports
- MacPorts
- Run this command:
sudo port sync && sudo port install vaucanson
Downloads
- Tarballs (sources to compile):
- vcsn-2.1.tar.bz2 (745KB)
- vcsn-2.1.tar.xz (633KB)
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.