Package de.learnlib.algorithm.rivestschapire