I would like to thank all the people who have worked on and with the
library especially Dominique Revuz for his support and advices on the
code design, Xavier Daragon for writing the very first version of this
documentation and Arnaud Adan for his review and extension to the
weighted automata and transducers.
Vincent Le Maout