clingo>=5.8.2
selftest>=0.5.2
coverage
