Bonjour,

J'aimerais utiliser spot pour manipuler des automates de Buchi, parité,... en librairie (pour l'intégrer en fait à du code déjà existant). Il semble que c'est possible, mais mes automates devraient avoir un alphabet de la forme {0,...,n} ou {1,...,n}, et pas un BDD. Comment puis-je faire ?

Ou, plus généralement, comment avoir accès à une documentation complète qui ne passe pas par doxygen?

Merci beaucoup d'avance, Laurent