Vaucanson 2.0 (July 25th, 2014)
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 of the Python interface
- The News File contains many examples
- The C++ reference manual is poor, yet not empty
- Run this command:
sudo port sync && sudo port install vaucanson
- Tarballs (sources to compile):
- vaucanson-2.0.tar.bz2 (745KB)
- vaucanson-2.0.tar.xz (633KB)
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.