The xpit library defines a modular ASP based explanation architecture with a central explanation director that controls various types of explainers focusing on specific parts of the input program. It is engineered towards finding explanations for unsatisfiable ASP programs.

Resources