Automata for dynamic answer set solving - View it on GitHub