GitHub repository: leonardoalt/dl_symb_exec_sol
Primary language: Solidity
Created: 2022-02-07T12:23:34Z
Description: Symbolic execution engine written in Solidity, based on Difference Logic.