A wrapper around the raw bindings https://github.com/egraphs-good/egglog-python (thanks Saul!) trying to mimic the z3py api more closely.
python3 -m pip install -e .A wrapper around the raw bindings https://github.com/egraphs-good/egglog-python (thanks Saul!) trying to mimic the z3py api more closely.
python3 -m pip install -e .