# EgglogElixir v0.1.0 - Table of Contents

> Thin Elixir wrapper around the native Rust egglog engine.

## Pages

- [EgglogElixir](readme-1.md)
- [Changelog](changelog.md)

- Livebooks
  - [Getting Started With Egglog Elixir](getting_started.md)
  - [Egglog Tutorial Livebook Clones](readme-2.md)
  - [Equality Saturation](01-basics.md)
  - [Datalog](02-datalog.md)
  - [E-class analysis](03-analysis.md)
  - [Scheduling](04-scheduling.md)
  - [Extraction and Cost](05-cost-model-and-extraction.md)
  - [Case study: LA compiler](06-case-study.md)

## Modules

- [Egglog](Egglog.md): Thin Elixir facade for native egglog.
- [Egglog.Commands](Egglog.Commands.md): Parsed egglog commands.
- [Egglog.EGraph](Egglog.EGraph.md): Process-owned mutable native egglog e-graph session.
- [Egglog.Program](Egglog.Program.md): Loaded egglog program used for query-local runs.
- [Egglog.Snapshot](Egglog.Snapshot.md): Helpers for egglog JSON snapshots.

