Docs.rs
egglog-3.0.0
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
egglog 3.0.0
egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
Crate
Source
Builds
Feature flags
Documentation
..
fail-typecheck
header
pass-typecheck
proofs
snapshots
web-demo
api_const_fold.rs
api_fact_ops.rs
api_introspection.rs
api_proofs.rs
api_query.rs
before-proofs.egg
bitwise.egg
bool.egg
calc.egg
combined-nested.egg
complex-merge-func.egg
complex-merge-prim.egg
container-fail.egg
container-proofs.egg
container-rebuild.egg
container_rebuild.rs
cykjson.egg
cykjson_End.csv
cykjson_medium_token.csv
cykjson_Prod.csv
cykjson_small_token.csv
delete.egg
eggcc-2mm.egg
eggcc-extraction.egg
extract-vec-bench.egg
extraction_proof_mode.rs
f64.egg
factoring-multisets.egg
fail_wrong_assertion.egg
fibonacci-demand.egg
files.rs
filter-or-bool-neq.egg
gemma.egg
gemma4_moe.egg
globals_warning_tests.rs
hardboiled_conv1d_128.egg
hardboiled_conv1d_32.egg
hidden_print_size.egg
i64.egg
include.egg
integer_math.egg
integration_test.rs
internal_let.egg
intersection.egg
interval.egg
llama.egg
looking_up_global.egg
looking_up_nonconstructor_in_rewrite_good.egg
luminal-llama.egg
map.egg
math-microbenchmark.egg
merge-during-rebuild.egg
merge-saturates.egg
merge_read.egg
naive-action-lookup.egg
naive_unstable_fn_via_global.rs
name-resolution.egg
nested-container-dirty-propagation.egg
no_panic.rs
paged_llama.egg
pair.egg
primitives.egg
print-function.egg
proof-extract-cost.egg
proof_mode_regression.rs
proof_selector_merge.rs
python_array_optimize.egg
qwen.egg
qwen3_moe.egg
rat-pow-eval.egg
rectangle.egg
relation-query-allowed.egg
repro-665-set-union.egg
repro-738-fn-sort.egg
repro-define.egg
repro-desugar-143.egg
repro-empty-query.egg
repro-equal-constant.egg
repro-equal-constant2.egg
repro-filter-bug.egg
repro-herbie-vanilla.egg
repro-new-backend-delete.egg
repro-new-backend-prims.egg
repro-new-backend-python-vec.egg
repro-noteqbug.egg
repro-primitive-query.egg
repro-querybug.egg
repro-querybug2.egg
repro-querybug3.egg
repro-querybug4.egg
repro-should-saturate.egg
repro-silly-panic.egg
repro-small-rebuild-fail-term-encoding.egg
repro-stale-rows.egg
repro-typecheck-term-encoding.egg
repro-typechecking-schedule.egg
repro-unsound-htutorial.egg
repro-unsound.egg
repro-vec-unequal.egg
set_sort_function.egg
stratified.egg
stresstest_large_expr.egg
string.egg
string_quotes.csv
string_quotes.egg
subsume-relation.egg
taylor51.egg
term-encoding-subsume-rebuild-bug.egg
terms.rs
test-combined-steps.egg
test-combined.egg
test_command_macros.rs
test_desugar.rs
tricky-type-checking.egg
type-constraints-tests.egg
typed_primitive.rs
typed_primitive_unstable_app.egg
uf-extraction.egg
unsafe-seminaive-read-prim.egg
unsafe-seminaive.egg
until.egg
use-at-in-string.egg
validator_test.rs
vec.egg
whisper.egg