triton-library==1.0.0rc4
z3-solver>=4.13
capstone>=5.0
