Merge pull request #289178 from r-ryantm/auto-update/clingo
clingo: 5.6.2 -> 5.7.0
authored by 7c6f434c and committed by GitHub 2 years ago 330ab323 3ba73d51