astor
z3-solver
hwtypes
magma-lang>=3.0.0
pyyaml
scipy
numpy
DeCiDa
pysv
