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.
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.