I didn't realize how accessible symbolic execution was for ordinary people (it's just a python library?? of course!) For some reason I had imagined it as someth

I didn't realize how accessible symbolic execution was for ordinary people (it's just a python library?? of course!) For some reason I had imagined it as something only for fancy and highly theoretical research groups.