🦉 A grounder and solver for logic programs.
potassco/clingo has 843 GitHub stars.
It currently ranks #12861 daily, #13870 weekly, #17224 monthly by momentum on Trending Repos; its best-ever rank is #5632.