Open johniadeluca opened 6 years ago
met it too
oh,I met it too...
I replace web3 to 3.4.4,and then met this problem....
Has anyone found the fix?
I met the same problem, has anybody solved it???
Try the fork at https://github.com/smartbugs/MAIAN, which updates Maian to recent versions of Python3, web3 and z3.
Getting this error after installing and adhering to all of the indicated dependencies mentioned earlier.
Any help/ideas? Can't find the declaration of sha3()