A solver for default logic via answer set programming
Primary LanguageC++
No one’s star this repository yet.