python3 -c 'import sys;import importlib.util as u;print([m for m in ["numpy","scipy","ortools","pulp","mip","z3","networkx","sympy"] if u.find_spec(m)])'