GitHub repository: KiruyaMomochi/clingo
Description: 🤔 A grounder and solver for logic programs.