numpy
ortools
onnx
torch
torchvision
pysmt
