egg

• egg Fast and extensible equality saturation
• E-Graph Intersection
• egg tutorial

LpSolver

• Coin OR CBC
  • LP solver
    • GitHub - coin-or/Cbc: COIN-OR Branch-and-Cut solver

Products using egg

• GitHub - cucapra/diospyros: Search-based compiler for high-performance DSP programming
• GitHub - philzook58/egglog: Datalog + Egg = Good
• 2022-03-31 GitHub - uwplse/ruler: Rewrite Rule Inference Using Equality Saturation

derivertive works

2023-02-16

• GitHub - mwillsey/egg-smol
  • DB上にE-Graphを構築する? らしい