Issues

• Feature Request: Time limit support for impl LpExtractor solve_with() and solve_multiple_with()

  egraphs-good/egg#362 · Filter by author jk2997 opened on Nov 11, 2025
  2

• Support for weight-dependent rewrite rules with dynamic cost calculation

  egraphs-good/egg#359 · Filter by author xxzh12 opened on Sep 10, 2025

• Conditions in explanations

  egraphs-good/egg#350 · Filter by author adrianleh opened on Mar 3, 2025
  7

• Documentation: Clarify discriminant requirements

  egraphs-good/egg#348 · Filter by author vmiquel-42 opened on Feb 16, 2025

• Different results depending on architecture

  egraphs-good/egg#328 · Filter by author bksaiki opened on Jul 30, 2024
  2

• Stack overflow during rule application

  egraphs-good/egg#327 · Filter by author bksaiki opened on Jul 30, 2024
  4

• Proof explanations for multi_rewrite

  egraphs-good/egg#231 · Filter by author K-dizzled opened on Feb 8, 2023
  11

• Pretty printing stack overflow for proofs

  egraphs-good/egg#211 · Filter by author oflatt opened on Oct 25, 2022
  3

• LpExtractor creates an infeasible problem for CBC

  egraphs-good/egg#207 · Filter by author khaki3 opened on Oct 2, 2022
  8

• Cycles in existence proofs

  egraphs-good/egg#202 · Filter by author oflatt opened on Aug 31, 2022

• assertion failed: solution.col(v.active) > 0.0

  egraphs-good/egg#196 · Filter by author Bastacyclop opened on Jul 4, 2022
  3

• Ability to limit memory usage

  egraphs-good/egg#171 · Filter by author Bastacyclop opened on Mar 15, 2022
  1

• Document searcher_ast and rule_name in apply_one

  egraphs-good/egg#152 · Filter by author remysucre opened on Jan 5, 2022

• Pass name of the rule to merge / make / etc.

  egraphs-good/egg#142 · Filter by author bjchambers opened on Dec 7, 2021
  4

• Errors in Analysis

  egraphs-good/egg#136 · Filter by author bjchambers opened on Nov 2, 2021
  4

• Allow passing arbitrary data from Searchers to Appliers

  egraphs-good/egg#131 · Filter by author rosekunkel opened on Oct 22, 2021
  5

• Try de-duplicating parents

  egraphs-good/egg#113 · Filter by author oflatt opened on Aug 5, 2021

• Standalone CLI

  egraphs-good/egg#84 · Filter by author MostAwesomeDude opened on Apr 28, 2021
  6

• Rewrite should probably be a trait

  egraphs-good/egg#44 · Filter by author mwillsey opened on Aug 6, 2020
  1

• Failed extraction overflows the stack

  egraphs-good/egg#24 · Filter by author mwillsey opened on May 6, 2020