numpy
scipy
ortools
onnx
torch
torchvision
tensorflow
pysmt
