View source for Vcsn/Vaucanson120

{{DISPLAYTITLE:Vaucanson 1.2 (March 20th, 2008)}}

__NOTOC__

The [[Vaucanson]] library is free software. It is distributed under the 
conditions of the GNU General Public License
([http://www.gnu.org/licenses/gpl.html 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): 
** [{{SERVER}}/dload/vaucanson/1.2/vaucanson-1.2.tar.gz vaucanson-1.2.tar.gz]
** [{{SERVER}}/dload/vaucanson/1.2/vaucanson-1.2.tar.bz2 vaucanson-1.2.tar.bz2] 
* Online documentation
** [{{SERVER}}/dload/vaucanson/1.2/ref/html/index.html Vaucanson Library documentation]
** [{{SERVER}}/dload/vaucanson/1.2/vaucanson-user-manual.pdf Vaucanson User Manual]
** [{{SERVER}}/dload/vaucanson/1.2/vaucanson-developer-manual.pdf Vaucanson Developer Manual]

== 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 [{{SERVER}}/dload/vaucanson/1.2/NEWS.pdf NEWS] file of the package.

== Requirements ==

;C++&nbsp;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

<nowiki>
./configure CC=gcc-4.1 CXX=g++-4.1
</nowiki>

Vaucanswig is not working properly with this version.