GitHub - potassco/clingo: 🤔 A grounder and solver for logic programs.