astor
coreir
cosa
z3-solver
hwtypes
magma-lang>=2.0.73
pyyaml
scipy
numpy
DeCiDa
