GitHub repository: potassco/clintest
Primary language: Python
Description: 🧪 A test framework for clingo programs