* python/spot/impl.i: Here. * tests/python/automata.ipynb: Use it. * NEWS: Mention it.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored