Maian python3.6 version 1

[aashishkolluri]

No description provided.

[thomasking1990]

tks a lot, solved my problem, hope my version list would help others
go 1.11.1
python 3.7.1
geth 1.8.18-unstable
solc 0.4.25
z3 4.8.2

pip3 list:
attrdict 2.0.0
certifi 2018.10.15
chardet 3.0.4
cytoolz 0.9.0.1
eth-abi 1.2.2
eth-account 0.3.0
eth-hash 0.2.0
eth-keyfile 0.5.1
eth-keys 0.2.0b3
eth-rlp 0.1.2
eth-typing 1.3.0
eth-utils 1.2.2
ethereum-abi-utils 0.4.7
greenlet 0.4.15
hexbytes 0.1.0
idna 2.7
lru-dict 1.1.6
parsimonious 0.8.1
pip 18.1
pycryptodome 3.6.6
pylru 1.1.0
pysha3 1.0.2
requests 2.20.0
rlp 0.6.0
setuptools 39.0.1
six 1.11.0
toolz 0.9.0
urllib3 1.24
web3 4.7.2
websockets 6.0

[gsalzer]

Thanks @Ashgeek , your patches also fixed it for me.
Whoever wants to fetch the patches, this is how I did it:

git clone  https://github.com/MAIAN-tool/MAIAN.git MAIAN.patched
cd MAIAN.patched
git fetch origin refs/pull/24/head:pull_24
git checkout pull_24

[jinspiron]

@Ashgeek @thomasking1990 @gsalzer I have installed all of the dependencies and now I am unsure how to install MAIAN itself. I searched everywhere but found no luck. What should I do?

[thomasking1990]

@Ashgeek @thomasking1990 @gsalzer I have installed all of the dependencies and now I am unsure how to install MAIAN itself. I searched everywhere but found no luck. What should I do?

U do not need to install MAIAN, MAIAN is just a collection of python files, just clone it on your hard disk and execute shell command: cd tool && sh run_examples, or u can read the tool/run_examples first

[jinspiron]

U do not need to install MAIAN, MAIAN is just a collection of python files, just clone it on your hard disk and execute shell command: cd tool && sh run_examples, or u can read the tool/run_examples first

@thomasking1990 Thank you! That helped me out significantly. Everything is working fine now, except for the compiler. I'm currently in the process of scanning a contract on Solidity v0.3.2 and I'm wondering, how I can install older Solidity versions and use it with MAIAN?

[Spiceytrees]

Likely a dead comment thread here but, the patch works the best of any of the code I've seen. The only issue I seem to be running into now is that the code gets stuck during the initial phase of [] Connecting to PRIVATE blockchain emptychain.
Has anybody else had this issue/found a fix?