torch>=2.0
numpy
matplotlib
clingo
wget
filelock
