python3 - <<'EOF'
import importlib.util as u
print([m for m in ['sympy','numpy','scipy','z3','pycosat','pysat','networkx','numba'] if u.find_spec(m)])
EOF