Vaucanson 1.2.96 (May 4th, 2009)
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.
The Vcsn library is free software. It is distributed under the
conditions of the GNU General Public License
(www.gnu.org).
Downloads
- Tarballs (sources to compile):
Changes since 1.2.95
- Out-of-date documentation has been trashed away. What remains is an overhauled documentation for TAF-Kit that can be read in doc/manual/taf-kit-manual.pdf.
- Vaucanson library
- The has_succ_comp() function has been renamed to is_useless(), and its result reversed.
- Rational expression can be exported into XML.
- standard_of() and thompson_of have been improved to build the automaton in place.
- TAF-Kit
- The has-succ-comp command has been replaced by the is-useless command, following the change in the library.
- The co-accessible command is now spelled coaccessible.
- Commands that output rational expression will output XML files if given the -o xml option, and will read XML files if given the -i xml option.
- Two new instances: vcsn-char-zmin and vcsn-char-zmax.
- A couple of unusual commands have been removed from the output of --list-commands and are now only shown by the new --list-all-commands option.
More informations on updates are provided in the NEWS file of the package.
Requirements
- C++ compiler
- G++ 4.x
- XML
- The XML I/O system is based on the use of the Apache Xerces C++ library version 2.7+ (http://xml.apache.org/xerces-c/). (On Ubuntu/Debian, install the following packages: libxerces27 and libxerces27-dev, or libxerces-c28 and libxerces-c28-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/Debian, install the following packages: 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
-- Main.AlexandreDuretLutz - 04 May 2009