reimplement explicitkripke using spot::digraph
In the current implementation the format implements only state labels, but not acceptance sets. We should probably implement both state-based label and state-based acceptance.
In the current implementation the format implements only state labels, but not acceptance sets. We should probably implement both state-based label and state-based acceptance.