Push Pop API#300

Draft

dewert99 wants to merge 21 commits intoegraphs-good:mainfrom

dewert99:semi-persistent

Commits on Jan 4, 2024

Clarify `id_to_expr` and prevent `copy_with_unions` when explanations are disabled
dewert99
committed

Commits on Feb 6, 2024

Extracted out low level egraph API
dewert99
committed

Commits on Feb 8, 2024

doc-link fixes
dewert99
committed

Commits on Feb 11, 2024

Commits on Mar 8, 2024

Fixed `pop` to clear `pending`
dewert99
committed

Commits on Mar 12, 2024

Added method to access union find without path compression from undo-log
dewert99
committed

Commits on Mar 21, 2024

Commits on Mar 28, 2024

Bump symbol_table
dewert99
committed