Add .gitignore
Add Symbolic Execution->Arithmetic Eval in Python