de.learnlib:learnlib-mapper (maven): Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols
Keywords: automata-learning-algorithms|java|java-library|machine-learning