clingo>=5.8.2
selftest>=0.4.6
coverage
