ply==3.11
clingo==5.5.0.post3
jpype1==1.2.1
