numpy
scipy
ortools
onnx
torch
torchvision
pysmt
