GitHub repository: potassco/clingo
Primary language: C++
Description: 🦉 A grounder and solver for logic programs.