GitHub repository: mojtaba-eshghie/SPi
Primary language: Python
Description: SPi: Semantic Solidity Predicate Comparison Tool