#!/usr/bin/env python3
import importlib.util
print([(x,bool(importlib.util.find_spec(x))) for x in ('sympy','pycosat','pyscipopt','cvxpy','numpy','z3','networkx')])