Search results

pred path --all OOMs/hangs: big_o_normal_form exponentially expands composed overhead expressions

bugSomething isn't working Something isn't working

Status: Open.

#1069 In CodingThrust/problem-reductions;

· isPANN opened on May 28, 2026

Seeded search for minimum-atom MIS → KingsSubgraph mapping

Status: Open.

#1062 In CodingThrust/problem-reductions;

· isPANN opened on Apr 23, 2026

Integrate cargo-mutants (diff-only mode) into CI

enhancementNew feature or request New feature or request

Status: Open.

#1053 In CodingThrust/problem-reductions;

· zazabap opened on Apr 15, 2026

[Rule] MaximumAcyclicAgreementForest to ILP

IncompleteReduction doesn't cover all source instances (Rule Check 5) Reduction doesn't cover all source instances (Rule Check 5)

PoorWritten

ruleA new reduction rule to be added. A new reduction rule to be added.

Wrong

Status: Open.

#1048 In CodingThrust/problem-reductions;

· zhangjieqingithub opened on Apr 14, 2026

[Rule] MaximumAcyclicAgreementForest to MinimumFeedbackVertexSet

IncompleteReduction doesn't cover all source instances (Rule Check 5) Reduction doesn't cover all source instances (Rule Check 5)

ruleA new reduction rule to be added. A new reduction rule to be added.

Wrong

Status: Open.

#1047 In CodingThrust/problem-reductions;

· zhangjieqingithub opened on Apr 14, 2026

[Model] MaximumAcyclicAgreementForest

modelA model problem to be implemented. A model problem to be implemented.

Status: Open.

#1046 In CodingThrust/problem-reductions;

· zhangjieqingithub opened on Apr 14, 2026

Cold build cost dominated by highs-sys rebuilding HiGHS C++ from source

bugSomething isn't working Something isn't working

low prioritywait, wait, wait, do I really need this? wait, wait, wait, do I really need this?

Status: Open.

#1039 In CodingThrust/problem-reductions;

· isPANN opened on Apr 10, 2026

RFC: Strengthen /verify-reduction with algebraic/combinatorial and analysis techniques

Status: Open.

#1013 In CodingThrust/problem-reductions;

· zazabap opened on Apr 6, 2026

Tracking: skipped rules from low-tier reinspected derivations

Status: Open.

#1012 In CodingThrust/problem-reductions;

· GiggleLiu opened on Apr 6, 2026

[Enhancement] GNN-guided ordering for the existing MaximumIndependentSet -> KingsSubgraph reduction

enhancementNew feature or request New feature or request

Status: Open.

#993 In CodingThrust/problem-reductions;

· zhangjieqingithub opened on Apr 2, 2026

[Refactor] Generalize Problem trait with associated type Config for continuous-variable problems

enhancementNew feature or request New feature or request

Status: Open.

#958 In CodingThrust/problem-reductions;

· isPANN opened on Mar 29, 2026

[Rule] ExactCoverBy3Sets → MinimumWeightSolutionToLinearEquations

ruleA new reduction rule to be added. A new reduction rule to be added.

Status: Open.

#944 In CodingThrust/problem-reductions;

· isPANN opened on Mar 29, 2026