Search results

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

Status: Open.

#362 In egraphs-good/egg;

· jk2997 opened on Nov 11, 2025

Support for weight-dependent rewrite rules with dynamic cost calculation

Status: Open.

#359 In egraphs-good/egg;

· xxzh12 opened on Sep 10, 2025

Conditions in explanations

Status: Open.

#350 In egraphs-good/egg;

· adrianleh opened on Mar 3, 2025

Documentation: Clarify discriminant requirements

Status: Open.

#348 In egraphs-good/egg;

· vmiquel-42 opened on Feb 16, 2025

Different results depending on architecture

Status: Open.

#328 In egraphs-good/egg;

· bksaiki opened on Jul 30, 2024

Stack overflow during rule application

Status: Open.

#327 In egraphs-good/egg;

· bksaiki opened on Jul 30, 2024

Proof explanations for multi_rewrite

Status: Open.

#231 In egraphs-good/egg;

· K-dizzled opened on Feb 8, 2023

Pretty printing stack overflow for proofs

Status: Open.

#211 In egraphs-good/egg;

· oflatt opened on Oct 25, 2022

LpExtractor creates an infeasible problem for CBC

Status: Open.

#207 In egraphs-good/egg;

· khaki3 opened on Oct 2, 2022

Cycles in existence proofs

Status: Open.

#202 In egraphs-good/egg;

· oflatt opened on Aug 31, 2022

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

Status: Open.

#196 In egraphs-good/egg;

· Bastacyclop opened on Jul 4, 2022

Ability to limit memory usage

Status: Open.

#171 In egraphs-good/egg;

· Bastacyclop opened on Mar 15, 2022