clingo>=5.7.1
selftest>=0.4.0
