View source for Vcsn/Vaucanson1290

{{DISPLAYTITLE:Vaucanson 1.2.90 (August 1st, 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.90/vaucanson-1.2.90.tar.gz vaucanson-1.2.90.tar.gz]
** [{{SERVER}}/dload/vaucanson/1.2.90/vaucanson-1.2.90.tar.bz2 vaucanson-1.2.90.tar.bz2] 
* Online documentation
** [{{SERVER}}/dload/vaucanson/1.2.90/ref/html/index.html Vaucanson Library documentation]
** [{{SERVER}}/dload/vaucanson/1.2.90/vaucanson-user-manual.pdf Vaucanson User Manual]
** [{{SERVER}}/dload/vaucanson/1.2.90/vaucanson-developer-manual.pdf Vaucanson Developer Manual]

== Changes ==

* The Vaucanson library
** New delta functions to iterate over states and transitions.
** New rational expression parser.
** New XML input/output system based on the new FSMXML version.
** Overhaul letters to ease adding automaton contexts.
** New automaton contexts based on int letters.

* Algorithms
** Remove backward_realtime() and forward_realtime() functions factorized in realtime() function.
** Fix rw_composition().

* Demos
** Improve One Rule Rewriting.

* TAF-Kit
** New option --parser to change token representation on rational expression.
** Rename vcsn-b/-z/-tdc to vcsn-char-b/-z/-fmp.
** New vcsn-int-b and vcsn-int-z.

  More informations on updates are provided in the [{{SERVER}}/dload/vaucanson/1.2.90/NEWS.pdf NEWS] file of the package.

== Requirements ==

;C++&nbsp;compiler: G++ 4.0 and 4.1
;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)
;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

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

Vaucanswig is not working properly with this version.