potassco/atlingo

Automata for dynamic answer set solving

C++