Repository info

clingo

• Summary: a summary of clingo
• Description: 🤔 A grounder and solver for logic programs.
• Stars: 678
• Number of forks: 87