ExplaiDLLM

Overview

ExplaiDLLM is a command-line interface tool designed for debugging Clingo using a combination of Minimal Unsatisfiable Subsets (MUS) and Large Language Models (LLMs). It is ideal for developers and researchers working with answer set programming who need to troubleshoot and optimize their Clingo applications.