Tools to aid the development of explanation systems using clingo

MAPF instance generator

🧪 A test framework for clingo programs

Inference code for Llama models

🐧 Clingo Interactive UI

🕸️ A visualizer for graphs defined as logic programs