A

abstractionmapper

Interpreter for my mapper language for abstraction in automata learning.