Metadata-Version: 1.1
Name: clingo
Version: 5.8.0
