potassco / clingo

🦉 A grounder and solver for logic programs.

fzakaria / grail

Version ranges for nixpkgs, solved by clingo over the nixpkgs-multiverse history index.