Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
attic
automatonGraph.ml
Find file
Blame
History
Permalink
In the attic, added [AutomatonGraph], which draws the automaton as a .dot graph.
· 6fa6ad8c
POTTIER Francois
authored
Oct 06, 2015
Also, moved [ReductionGraph] to the attic.
6fa6ad8c