-
Arthur Remaud authored
Fixes #208 * NEWS: Informations about the modifications * spot/twaalgos/dot.cc (print): Gestion of cluster for universal transitions * tests/core/alternating.test: tests added * tests/core/neverclaimread.test: tests changed for new dot format * tests/core/readsave.test: tests changed * tests/core/sccdot.test: tests changed * tests/python/_altscc.ipynb: tests changed * tests/python/decompose.ipynb: tests changed
f7bbfd28