GitHub repository: sambacha/hevm
Description: symbolic EVM evaluator