clingo==5.8.0
lark>=1.1.5
numpy>=1.23.5
pandas>=1.5.3
torch>=1.13.1
ninja
