Parallel Automaton Exploration
Explore every automaton of the automata
-vector in a different thread. The JNI-API is thread-safe in this regard.
Explore every automaton of the automata
-vector in a different thread. The JNI-API is thread-safe in this regard.