clingo>=5.8.0
selftest>=0.4.6
coverage
