/clingo

🤔 A grounder and solver for logic programs.

Primary LanguageC++MIT LicenseMIT

Stargazers