ply>=3.11
clingo>=5.5.0
jpype1>=1.2.1
