An oversimplified symbolic executor for a subset of python3
Primary LanguagePython
Yet another toy symbolic executor (for a subset of python3)