/eclingo

🧠 A solver for epistemic logic programs.

Primary LanguagePythonMIT LicenseMIT

Stargazers