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