GitHub repository: potassco/clinguin
Primary language: Python
Description: 🐧 Clingo Interactive UI