Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
python
automata.ipynb
Find file
Blame
History
Permalink
python: export tgba_determinize
· 33391798
Alexandre Duret-Lutz
authored
Apr 22, 2016
* python/spot/impl.i: Here. * tests/python/automata.ipynb: Use it. * NEWS: Mention it.
33391798