Issues

• Resolve inconclusive reduction-correctness checks for 29 rules with target-solve timeouts

  CodingThrust/problem-reductions#1189 · Filter by author isPANN opened on Sep 30, 2026

• Tighten reduction overhead predictions from construction-derived counts and source statistics

  CodingThrust/problem-reductions#1188 · Filter by author isPANN opened on Sep 30, 2026

• Improve path selection with direct multi-parameter formula comparisons

  enhancement
  CodingThrust/problem-reductions#1187 · Filter by author isPANN opened on Sep 28, 2026

• Align Big-O display with SymPy Order semantics

  enhancementlow priority
  CodingThrust/problem-reductions#1186 · Filter by author isPANN opened on Sep 28, 2026

• Path ranking: Pareto layers over target parameters (symbolic and numerical modes)

  Discussionenhancement
  CodingThrust/problem-reductions#1179 · Filter by author isPANN opened on Sep 26, 2026

• Add a size budget to concrete path execution

  enhancement
  CodingThrust/problem-reductions#1178 · Filter by author isPANN opened on Sep 26, 2026

• pred path with an instance: one failing path aborts the whole batch

  bug
  CodingThrust/problem-reductions#1177 · Filter by author isPANN opened on Sep 26, 2026

• ILP<i64> rules declare bounds as constraints, so ILP<i64> → ILP<bool> always fails

  bug
  CodingThrust/problem-reductions#1176 · Filter by author isPANN opened on Sep 26, 2026

• Make reduction size formulas available end-to-end (ILP → QUBO first)

  enhancement
  CodingThrust/problem-reductions#1175 · Filter by author isPANN opened on Sep 26, 2026

• Timeout when using the library

  CodingThrust/problem-reductions#1152 · Filter by author zazabap opened on Sep 15, 2026
  1

• [Enhancement] Reduce 3SAT-to-QUBO auxiliary variables through shared literal pairs

  CodingThrust/problem-reductions#1150 · Filter by author isPANN opened on Sep 14, 2026

• [Correctness] Define graph and set domains consistently across models and reductions

  CodingThrust/problem-reductions#1149 · Filter by author isPANN opened on Sep 13, 2026

• Separate CVP integer and floating-point variants under the numeric contract

  enhancement
  CodingThrust/problem-reductions#1146 · Filter by author isPANN opened on Sep 8, 2026

• Separate lazy search cardinality from machine-sized storage requirements

  bug
  CodingThrust/problem-reductions#1143 · Filter by author isPANN opened on Sep 7, 2026

• Separate witness feasibility and source solve conclusions at shared boundaries

  bug
  CodingThrust/problem-reductions#1141 · Filter by author isPANN opened on Sep 7, 2026

• [Rule] ThreeDimensionalMatching to ExactCoverBy3Sets

  Goodrule
  CodingThrust/problem-reductions#1103 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] MaxCut/One to Maximum2Satisfiability

  Goodrule
  CodingThrust/problem-reductions#1102 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] NAESatisfiability to Satisfiability

  Goodrule
  CodingThrust/problem-reductions#1101 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] SetSplitting to NAESatisfiability

  Goodrule
  CodingThrust/problem-reductions#1100 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] KColoring to Satisfiability

  Goodrule
  CodingThrust/problem-reductions#1099 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] HamiltonianCircuit to Satisfiability

  Goodrule
  CodingThrust/problem-reductions#1098 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] HamiltonianPath to HamiltonianCircuit

  Goodrule
  CodingThrust/problem-reductions#1097 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] MinimumDominatingSet/One to MinimumHittingSet

  Goodrule
  CodingThrust/problem-reductions#1096 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] MinimumDominatingSet/i32 to MinimumSetCovering/i32

  Goodrule
  CodingThrust/problem-reductions#1095 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] MinimumHittingSet to MinimumSetCovering

  Incompleterule
  CodingThrust/problem-reductions#1094 · Filter by author isPANN opened on Aug 1, 2026
  2