clingo>=5.8.2
selftest>=0.5.3
coverage
