Examples Gallery

This is a gallery of examples, most of which were translated from the original egglog rust examples.

sphx_glr_auto_examples_fib.py

Fibonacci numbers example

sphx_glr_auto_examples_bignum.py

BigNum/BigRat Example

sphx_glr_auto_examples_bool.py

Boolean data type example and test

sphx_glr_auto_examples_schedule_demo.py

Schedule demo

sphx_glr_auto_examples_eqsat_basic.py

Basic equality saturation example.

sphx_glr_auto_examples_higher_order_functions.py

Higher Order Functions

sphx_glr_auto_examples_jointree.py

Join Tree (custom costs)

sphx_glr_auto_examples_resolution.py

Resolution theorem proving.

sphx_glr_auto_examples_multiset.py

Multiset example based off of egglog version

sphx_glr_auto_examples_ndarrays.py

N-Dimensional Arrays

sphx_glr_auto_examples_matrix.py

Matrix multiplication and Kronecker product.

sphx_glr_auto_examples_lambda_.py

Lambda Calculus