Vaucanson 1.2 (March 20th, 2008)
The
Vaucanson library is free software. It is distributed under the
conditions of the GNU General Public License
(
www.gnu.org) since release 0.7.1, and under the conditions of GNU Lesser General Public License for previous releases.
Downloads
- Tarballs (sources to compile):
- Online documentation
Changes
- The Vaucanson library
- New graph data structure based on boost multi index: bmig.
- It is now possible to choose between bmig and the old implementation which is now called listg.
- Algorithms
- Rename fmp_to_realtime() as fmt_to_rw().
- Rename realtime_to_fmp() as rw_to_fmp().
- Rename realtime_composition() as rw_composition().
- TAF-Kit
- Rename sum as union.
- is_empty is now is_void.
- New is_empty.
More informations on updates are provided in the
NEWS file of the package.
Requirements
- C++ compiler
- 4.* or ICC 10
- XML
- The XML I/O system is based on the use of the Apache Xerces
C++ library version 2.3.* (http://xml.apache.org/xerces-c/).
(On Ubuntu/Debian, install the following packages: libxerces27 and libxerces27-dev)
- Graphviz
- The display of automata is made using AT&T Graphviz library.
(On Ubuntu/Debian, install the following package: graphviz)
- Boost
- Boost provides free peer-reviewed portable C++ source libraries.
(On Ubuntu/Debian, install the following packages: libboost-dev, libboost-serialization-dev,
libboost-graph, libboost-graph-dev)
- Ncurses
- needed for building the TAF-KIT. (On Ubuntu and Debian: libncurses5, libncurses-dev).
Known Problems
Vaucanson is known not to work properly with Apple's G++ 4.0.0 on Tiger.
Actually, it seems that it is G++ 4.0.0 which is known not to work properly:
other library face similar issues. We don't know how to solve the problem,
avoid it by specifying another compiler. For instance
./configure CC=gcc-4.1 CXX=g++-4.1
Vaucanswig is not working properly with this version.
to top