GitHub repository: potassco/eclingo-prototype
Primary language: Python
Description: Epistemic logic programming with clingo