SVChecker requirements cmake 3.10+ g++ 7.3.0+ solc-select brew install solc-select solc version 0.5.0 to 0.7.1 solc-select install 0.5.0 .. nlohmann-json only header file, no need to install