cffi>=1.15
clingo>=5.6
clingo-dl>=1.4
clingcon>=5.2
