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