Using z3's never been easier (maybe)
Why do you think that https://github.com/trailofbits/manticore is a good alternative to easy_z3
Using z3's never been easier (maybe)
Why do you think that https://github.com/trailofbits/manticore is a good alternative to easy_z3