which minisat cryptominisat kissat cadical glucose picosat z3 sage gap magma; python3 -c 'import importlib; print([m for m in ["z3","sympy","numpy","scipy","networkx"] if importlib.util.find_spec(m)])'