Metadata-Version: 1.1
Name: clingo
Version: 5.7.1
