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