Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
twaalgos
dot.cc
Find file
Blame
History
Permalink
dot: display pairs of states for products
· 6b516df3
Alexandre Duret-Lutz
authored
Nov 13, 2015
* src/twaalgos/dot.cc: Here. * wrap/python/tests/automata.ipynb: Test it. * NEWS: Document this.
6b516df3