GitHub repository: rqhu1995/aspexplanation
Primary language: Java
Description: Answer Set Programming Explanation Platform