GitHub repository: AndreaCicca/clingo-mirror
Description: 🤔 A grounder and solver for logic programs.