I find both z3 native syntax (smt 2, lispish) and z3py hard to use. Here's an alternative syntax that uses python3 types. Works by transpiling to smt 2. https

I find both z3 native syntax (smt 2, lispish) and z3py hard to use. Here's an alternative syntax that uses python3 types. Works by transpiling to smt 2. https://gist.github.com/adsharma/45fbb065a8fe793030e8360daebffba1 https://gist.github.com/adsharma/45fbb065a8fe793030e8360daeb... https://github.com/py2many/py2many/blob/main/tests/cases/demorgan.py https://github.com/py2many/py2many/blob/main/tests/cases/dem...