Package net.automatalib.util.partitionrefinement