Raw egraph#3

Closed

dewert99 wants to merge 9 commits intomainfrom

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

Improved raw_union interface, fixed EGraph::dump and updated edition
dewert99
committed

Commits on Mar 21, 2024

Make `raw_union` more flexible and add a fallible `try_raw_rebuild`
dewert99
committed