biodivine_aeon==1.0.0a4
clingo>=5.6.2
networkx>=2.8.8
pypint>=1.6.2
