/clingo

🤔 A grounder and solver for logic programs.

Primary LanguageC++MIT LicenseMIT

No issues in this repository yet.