Symbolic Execution by Overloading __bool__

Impressive work. I once implemented sybolic execution in Lua to automate calculating error propagation for physics class, but when I tried to extend the system, I couldn't figured out how to deal with control structures and resorted to writing functions like ifElse(x, y, z). Feels good to find out it is possible after all.

This is exactly what the CrossHair library does: <a href="https:&#x2F;&#x2F;github.com&#x2F;pschanely&#x2F;CrossHair">https:&#x2F;&#x2F;github.com&#x2F;pschanely&#x2F;CrossHair</a><p>It also overloads other methods to provide kind of symbolic objects.

Isn&#x27;t this kind of thing exactly why Lisp was so popular for symbolic computation historically?

Here some expression builder, with few renderers thereof, in one file, with some tests (beware: from 2012-2016)<p>Was used to turn a python function into plain text (textualize itself), into SQL-text (applicable as query), evaluate-numerically, translate into other languages, and the like.<p><a href="https:&#x2F;&#x2F;github.com&#x2F;svilendobrev&#x2F;svd_util&#x2F;blob&#x2F;master&#x2F;expr.py">https:&#x2F;&#x2F;github.com&#x2F;svilendobrev&#x2F;svd_util&#x2F;blob&#x2F;master&#x2F;expr.py</a>

This is the kind of thing I love to come across on a holiday break that seems ripe for side projects... :)