Vaucanson 0.7.2 (November 9, 2005)

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):
  • vaucanson-0.7.2.tar.gz
  • vaucanson-0.7.2.tar.bz2
• RedHat RPM packages:
  • vaucanson-0.7.2-1.noarch.rpm: Headers and documentation.
• Debian packages:
  • vaucanson_0.7.2-1_all.deb: Headers.
  • vaucanson-doc_0.7.2-1_all.deb: Documentation.
• Online documentation
  • Vaucanson Library documentation

Requirements

C++ compiler

g++ 3.[34], 4.0 or ICC 9

XML

If you want to use the XML I/O system, you will need the Apache Xerces C++ library version 2.3.* (http://xml.apache.org/xerces-c/).

Graphviz

Highly verbose mode of the testing suites uses the AT&T dot format to save automaton in a human readable file. Use Graphviz to visualize these .dot files.