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
  • Getting Started - Matrix Multiplication
    • Install egg-smol Python
    • Creating an E-Graph
    • Defining Dimensions
      • Testing in a notebook
    • Dimension Replacements
      • Testing
    • Matrix Expressions
      • Rows/cols Replacements
      • Operation replacements
• How-to guides
  • Parsing and running program strings
  • Developing this package
• Explanation
  • Compared to Rust implementation
    • Text API
    • Low level bindings API
    • High level API
  • How does egg-smol handle boolean values?
    • != operator
  • Define function vs define action.
  • Status of this project
  • How documentation is organized
• Reference
  • Changelog
    • 0.2.0 (2023-03-27)
  • egg_smol
  • egg_smol.bindings
    • ActionCommand
      • ActionCommand.action
    • Call
      • Call.args
      • Call.name
    • Check
      • Check.fact
    • Clear
    • ClearRules
    • Datatype
      • Datatype.name
      • Datatype.variants
    • Define
      • Define.cost
      • Define.expr
      • Define.name
    • Delete
      • Delete.args
      • Delete.sym
    • EGraph
      • EGraph.add_rewrite()
      • EGraph.add_rule()
      • EGraph.check_fact()
      • EGraph.clear()
      • EGraph.clear_rules()
      • EGraph.declare_constructor()
      • EGraph.declare_function()
      • EGraph.declare_sort()
      • EGraph.define()
      • EGraph.eval_actions()
      • EGraph.extract_expr()
      • EGraph.parse_and_run_program()
      • EGraph.pop()
      • EGraph.print_function()
      • EGraph.print_size()
      • EGraph.push()
      • EGraph.run_rules()
    • EggSmolError
      • EggSmolError.context
    • Eq
      • Eq.exprs
    • Expr_
      • Expr_.expr
    • Extract
      • Extract.expr
      • Extract.variants
    • Fact
      • Fact.expr
    • Function
      • Function.decl
    • FunctionDecl
      • FunctionDecl.cost
      • FunctionDecl.default
      • FunctionDecl.merge
      • FunctionDecl.name
      • FunctionDecl.schema
    • Input
      • Input.file
      • Input.name
    • Int
      • Int.value
    • Let
      • Let.lhs
      • Let.rhs
    • Lit
      • Lit.value
    • Panic
      • Panic.msg
    • Pop
      • Pop.length
    • Print
      • Print.length
      • Print.name
    • PrintSize
      • PrintSize.name
    • Push
      • Push.length
    • Query
      • Query.facts
    • Rewrite
      • Rewrite.conditions
      • Rewrite.lhs
      • Rewrite.rhs
    • RewriteCommand
      • RewriteCommand.rewrite
    • Rule
      • Rule.body
      • Rule.head
    • RuleCommand
      • RuleCommand.rule
    • Run
      • Run.length
    • Schema
      • Schema.input
      • Schema.output
    • Set
      • Set.args
      • Set.lhs
      • Set.rhs
    • Sort
      • Sort.args
      • Sort.name
      • Sort.presort
    • String
      • String.value
    • Union
      • Union.lhs
      • Union.rhs
    • Unit
    • Var
      • Var.name
    • Variant
      • Variant.cost
      • Variant.name
      • Variant.types
    • parse()