frenetic.netkat
Frenetic_netkat.Bisim
frenetic
frenetic.async
frenetic.kernel
val check : Global_compiler.Automaton.t -> Global_compiler.Automaton.t -> bool
Checks if the given automata are bisimilar using Hopcroft-Karp.