Vaucanson

From LRDE


Vaucanson is the former name of Vcsn. This 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.

2012-07-14 Vaucanson 1.4.1 tar.gz tar.xz
2011-09-28 Vaucanson 1.4 tar.gz tar.xz
2009-09-22 Vaucanson 1.3.2 tar.gz tar.bz2
2009-07-08 Vaucanson 1.3.1 tar.gz tar.bz2
2009-05-26 Vaucanson 1.3 tar.gz tar.bz2
2009-05-04 Vaucanson 1.2.96 tar.gz tar.bz2
2009-01-22 Vaucanson 1.2.95 tar.gz tar.bz2
2008-11-17 Vaucanson 1.2.94 tar.gz tar.bz2
2008-10-10 Vaucanson 1.2.93 tar.gz tar.bz2
2008-09-09 Vaucanson 1.2.92 tar.gz tar.bz2
2008-08-23 Vaucanson 1.2.91 tar.gz tar.bz2
2008-08-01 Vaucanson 1.2.90 tar.gz tar.bz2
2008-03-20 Vaucanson 1.2 tar.gz tar.bz2
2007-12-14 Vaucanson 1.1.1 tar.gz tar.bz2
2007-07-30 Vaucanson 1.1 tar.gz tar.bz2
2007-06-13 Vaucanson 1.0a tar.gz tar.bz2
2006-07-28 Vaucanson 1.0 tar.gz tar.bz2
2006-05-15 Vaucanson 0.8 tar.gz tar.bz2
2005-11-09 Vaucanson 0.7.2 tar.gz tar.bz2
2005-06-25 Vaucanson 0.7.1 tar.gz tar.bz2
2005-05-17 Vaucanson 0.7 tar.gz tar.bz2
2004-10-26 Vaucanson 0.6.1 tar.gz tar.bz2
2004-07-18 Vaucanson 0.6 tar.gz tar.bz2
2004-03-30 Vaucanson 0.5 tar.gz tar.bz2
2003-12-25 Vaucanson 0.4.2 tar.gz tar.bz2
2003-10-29 Vaucanson 0.4.1 tar.gz tar.bz2


Requirements

C++ compiler

Vaucanson 1.4 4.x
Vaucanson 1.3.2 g++ 3.[34], 4.x
Vaucanson 1.3.1 g++ 3.[34], 4.x
Vaucanson 1.3 g++ 3.[34], 4.x
Vaucanson 1.2.96 g++ 3.[34], 4.x
Vaucanson 1.2.95 g++ 3.[34], 4.x
Vaucanson 1.2.94 g++ 3.[34], 4.x
Vaucanson 1.2.93 g++ 3.[34], 4.x, ICC 9, ICC 10
Vaucanson 1.2.92 g++ 3.[34], 4.x, ICC 9, ICC 10
Vaucanson 1.2.91 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.2.90 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.2 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.1.1 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.1 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.0a g++ 3.[34], 4.x or ICC 9
Vaucanson 1.0 g++ 3.[34], 4.x or ICC 9
Vaucanson 0.8 g++ 3.[34], 4.x or ICC 9
Vaucanson 0.7.2 g++ 3.[34], 4.0 or ICC 9
Vaucanson 0.7.1 g++ 3.x or ICC 8.1
Vaucanson 0.7 g++ 3.x or ICC 8.1
Vaucanson 0.6.1 g++ 3.x or ICC 8.1
Vaucanson 0.5 and 0.6 g++ 3.3 only
Vaucanson 0.4 g++ 3.2 (should works with g++ 3.3 and ICC 7.0)

The code is written in respect to the ISO standard to permit a higher portability in the future.

XML

If you want to use the XML I/O system, you will need the Apache Xerces C++ library version 2.3 or later. You will find it here:

http://xml.apache.org/xerces-c/

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

Getting the source from the Git repository

You may check out the current version of Vcsn sources on the LRDE's Git repository. You will need the following additional tools:

  • Git 1.5 or higher
  • Autoconf 2.59 or higher
  • Automake 1.9 or higher
  • bison (for the rational expression parser)
  • BOOST 1.34 or later (base, graph and serialization libraries)
  • texlive (for compiling the manual)
  • doxygen (for API documentation generated from source files)
  • python-doctools (for rst2latex)

To clone Git repository anonymously to build Vaucanson use

git clone git://git.lrde.epita.fr/vaucanson
cd vaucanson/trunk
./bootstrap
./configure
make
make install

Please read doc/HACKING.pdf or doc/HACKING.txt for further information.