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