numpy<=1.21
groot-trees
gurobipy
python-sat
tqdm
seaborn
