PySMT>=0.9
asdl-adt<0.2,>=0.1
astor>=0.8
numpy>=1.21.2
yapf>=0.31
z3-solver>=4.8.12.0
