Explaidllm is a command line tool aimed for debugging clingo programs. This is achieved by combining the Minimal
Unsatisfiable Subset (MUS) functionalities of clingexplaid together with the natural language capabilities of an LLM.
pip install .
coming soon