A tool for explainability and debugging in Answer Set Programming.
Primary LanguagePythonMIT LicenseMIT