Ninjastic
PostEdited versionsQuotes to this post
Post
Topic
Board Service Discussion (Altcoins)
Merits 1 from 1 user
Re: Smart contract analysis tool
by
vv181
on 03/12/2021, 14:37:37 UTC
⭐ Merited by JeromeTash (1)
Have you seen the readme file on that page? Basically what dependencies and how to install and run its information are available on that page. There might be not a clear enough step-by-step installation process, but the information given should be good to start.

See this section:
Quote from: https://github.com/ivicanikolicsg/MAIAN#supported-operating-systems-and-dependencies
Supported Operating Systems and Dependencies

Maian should run smoothly on Linux (we've checked on Ubuntu/Mint) and MacOS. Our attempts to run it on Windows have failed. The list of dependencies is as follows:

    Go Ethereum, check https://ethereum.github.io/go-ethereum/install/
    Solidity compiler, check http://solidity.readthedocs.io/en/develop/installing-solidity.html
    Z3 Theorem prover, check https://github.com/Z3Prover/z3
    web3, try pip install web3
    PyQt5 (only for GUI Maian), try sudo apt install python-pyqt5