Awali est la dernière génération d'une suite de
plateformes logicielles: Vaucanson (2003--2012) and
Vaucanson2 (2012--2014); elle est développée en
parallèle avec
VCSN
qui est issue d'un fork à partir du même Vaucanson2.
Nous avons utilisé cette expérience pour mettre en
place les méthodes et les concepts qui permettent d'atteindre les
objectifs d'efficacité, de
généricité et d'accessibilité que
nous nous sommes fixés.
Awali is the last generation of a series of platforms:
Vaucanson (2003--2012) and Vaucanson2 (2012--2014);
it is written in parallel with
VCSN
which results from a fork from the same Vaucanson2.
We have used this long experience to set up the methods and concepts
necessary to achieve our main goals: efficiency, genericity,
and accessibility.
Awali is written in
The dynamic level allows both the call of functions of the
static level and genuine
The interface level offers for the time being two kinds of
access to the lower layers: a command-line interface which
allows the
call to most of the algorithms of the static level, and a
The last Awali 1.0 tarball may be downloaded here. Other tarballs for this version may be found here. Subsequent versions of Awali are listed here.
awali-all-vX.Y.Z-YYMMDD.tgz
and located in /some/directory
.
$ cd /some/directory $ tar xzvf awali-all-vX.Y.Z-YYMMDD.tgz $ cd awali-all-vX.Y.Z-YYMMDD $ mkdir _build $ cd _build $ cmake .. $ make $ make b $ sudo make installCommand
make b
is not required but allows to enjoy Awali without suffering multiple on-the-fly compilation at the execution of each command.
It may be parallelized by make -j8 b
(for instance if one's computer has 8 cores).
Documentation of Awali is a bit sparse at the moment. We focused on getting started exaining how to use Awalipy and Cora, which are the most user-friendly.
All aforementioned documents may be found in the the tarball, in subdirectory awalidoc/GettingStarted
.
awalipy/examples
,awali/dyn/examples
, andawali/sttc/examples
.
We use Doxygen to document the C++ API of Awali; it is available online at http://doxygen.vaucanson-project.org.
Note that this API is almost empty at the moment and mostly serves as a list of the available functions.
Doxygen API may also be generated locally by executing command make doxygen
in directory _build
(created as in section Compilation and Installation); off course Doxygen must then be installed.
help
; for instance, the help for the function load may be displayed as follows.
help(awalipy.load)
N'hésitez pas à nous contacter si vous rencontrez des problèmes ou trouvez des bugs dans Awali.
Do not hesitate to contact us in case of trouble or if you find bugs in Awali.
D'avril 2011 à septembre 2014, le projet Vaucanson2 a
été financé par la
convention ANR 2010 INTB 0203.
D'octobre 2016 à septembre 2017, Victor Marsault a
été financé par une bourse Marie Skłodowska-Curie,
Le projet Awali est financé par le Département
Informatique et Réseaux
de Télécom ParisTech.
From April 2011 to September 2014, Vaucanson2 project has been
supported by contract ANR 2010 INTB 0203.
From October 2016 to September 2017, Victor Marsault has been supported by
a Marie Skłodowska-Curie fellowship,
co-funded by the European Union and the University of Liège, Belgium.
Awali project is supported by the Department
Computer Science and Networking
of Telecom ParisTech.