pymatgen>=2022.5.26
z3-solver>=4.8.17.0
onnx>=1.15.0
