Geeks
potassco
/
atlingo
Automata for dynamic answer set solving
Primary Language
C++
atlingo GitHub
Markdown
Readme
0
Issues
1
Stargazer
5
Watchers
Stargazers
codeck