GitHub repository: potassco/atlingo
Primary language: C++
Created: 2021-09-01T22:53:35Z
Description: Automata for dynamic answer set solving