egg-smol
Python#
egg-smol
is a Python package that provides bindings to the Rust library egg-smol
,
allowing you to use e-graphs in Python for optimization, symbolic computation, and analysis.
pip install egg-smol
- Examples Gallery
- Tutorials
- How-to guides
- Explanation
- Reference
- Changelog
egg_smol
egg_smol.bindings
ActionCommand
AddRuleset
BiRewriteCommand
Calc
Call
Check
Datatype
Declare
Define
Delete
EGraph
EggSmolError
Eq
Expr_
Extract
ExtractReport
F64
Fact
Fail
Function
FunctionDecl
IdentSort
Include
Input
Int
Let
Lit
Output
Panic
Pop
Print
PrintSize
Push
Repeat
Rewrite
RewriteCommand
Rule
RuleCommand
Run
RunCommand
RunConfig
RunReport
RunScheduleCommand
Saturate
Schema
Sequence
Set
SetOption
Simplify
Sort
String
Union
Unit
Var
Variant