Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#41
dra2ba should set the deterministic flag on the automaton
when the result is deterministic, of course