Replace hardcoded canonical rule examples with ILPSolver calls#774

Closed

isPANN wants to merge 28 commits intomainfrom

replace-hardcoded-ilp-examples-772

Commits on Mar 25, 2026

Upgrade LongestCircuit from decision (Or) to optimization (Max<W::Sum>)

isPANN
and
claude
committed
Upgrade OptimalLinearArrangement from decision (Or) to optimization (Min<usize>)

isPANN
and
claude
committed
Upgrade RuralPostman from decision (Or) to optimization (Min<W::Sum>)

isPANN
and
claude
committed
Upgrade MixedChinesePostman from decision (Or) to optimization (Min<W::Sum>)

isPANN
and
claude
committed
Upgrade StackerCrane from decision (Or) to optimization (Min<i32>)

isPANN
and
claude
committed
Upgrade MinimumCardinalityKey from decision (Or) to optimization (Min<i64>)

isPANN
and
claude
committed
Upgrade SequencingToMinimizeMaximumCumulativeCost from decision (Or) to optimization (Min<i64>)

isPANN
and
claude
committed
Upgrade MultipleCopyFileAllocation from decision (Or) to optimization (Min<i64>) + ILP rewrite

isPANN
and
claude
committed
Upgrade ExpectedRetrievalCost from decision (Or) to optimization (Min<f64>) + ILP rewrite

isPANN
and
claude
committed
Upgrade SumOfSquaresPartition from decision (Or) to optimization (Min<i64>) + ILP rewrite

isPANN
and
claude
committed
Upgrade LongestCommonSubsequence from decision (Or) to optimization (Max<usize>) + ILP rewrite + config redesign

isPANN
and
claude
committed
Upgrade ShortestCommonSupersequence from decision (Or) to optimization (Min<usize>) + config redesign

isPANN
and
claude
committed
Fix CLI create.rs and example-db after Group A model upgrades

isPANN
and
claude
committed
chore: rustfmt formatting fixes

isPANN
and
claude
committed
Upgrade MinimumCutIntoBoundedSets from decision (Or) to optimization (Min<W::Sum>)

isPANN
and
claude
committed
Upgrade ShortestWeightConstrainedPath from decision (Or) to optimization (Min<N::Sum>) + ILP rewrite

isPANN
and
claude
committed
Upgrade CapacityAssignment from decision (Or) to optimization (Min<u128>) + ILP rewrite

isPANN
and
claude
committed
Upgrade MinMaxMulticenter from decision (Or) to optimization (Min<W::Sum>) + minimax ILP rewrite

isPANN
and
claude
committed
Upgrade LengthBoundedDisjointPaths from decision (Or) to optimization (Max<usize>) + config redesign

isPANN
and
claude
committed
Merge remote-tracking branch 'origin/main' into upgrade-decision-to-optimization-765
isPANN
committed
Adapt Tier 3 ILP rules + solver for optimization model API after main merge

isPANN
and
claude
committed
Fix example-db test hang: prefer brute-force over ILP for small instances

isPANN
and
claude
committed
Fix ILP<i32> solver performance: tighten variable bounds for HiGHS

isPANN
and
claude
committed
Fix CLI test: remove --bound from MinimumCardinalityKey customized solver test

isPANN
and
claude
committed
Improve test coverage: un-ignore OLA ILP tests, add missing branch coverage

isPANN
and
claude
committed
fix: address PR #771 review comments

zazabap
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Replace hardcoded canonical rule examples with ILPSolver calls#774

Replace hardcoded canonical rule examples with ILPSolver calls#774
isPANN wants to merge 28 commits intomainfrom
replace-hardcoded-ilp-examples-772

Commits on Mar 25, 2026

Upgrade LongestCircuit from decision (Or) to optimization (Max<W::Sum>)

Upgrade OptimalLinearArrangement from decision (Or) to optimization (Min<usize>)

Upgrade RuralPostman from decision (Or) to optimization (Min<W::Sum>)

Upgrade MixedChinesePostman from decision (Or) to optimization (Min<W::Sum>)

Upgrade StackerCrane from decision (Or) to optimization (Min<i32>)

Upgrade MinimumCardinalityKey from decision (Or) to optimization (Min<i64>)

Upgrade SequencingToMinimizeMaximumCumulativeCost from decision (Or) to optimization (Min<i64>)

Upgrade MultipleCopyFileAllocation from decision (Or) to optimization (Min<i64>) + ILP rewrite

Upgrade ExpectedRetrievalCost from decision (Or) to optimization (Min<f64>) + ILP rewrite

Upgrade SumOfSquaresPartition from decision (Or) to optimization (Min<i64>) + ILP rewrite

Upgrade LongestCommonSubsequence from decision (Or) to optimization (Max<usize>) + ILP rewrite + config redesign

Upgrade ShortestCommonSupersequence from decision (Or) to optimization (Min<usize>) + config redesign

Fix CLI create.rs and example-db after Group A model upgrades

chore: rustfmt formatting fixes

Upgrade MinimumCutIntoBoundedSets from decision (Or) to optimization (Min<W::Sum>)

Upgrade ShortestWeightConstrainedPath from decision (Or) to optimization (Min<N::Sum>) + ILP rewrite

Upgrade CapacityAssignment from decision (Or) to optimization (Min<u128>) + ILP rewrite

Upgrade MinMaxMulticenter from decision (Or) to optimization (Min<W::Sum>) + minimax ILP rewrite

Upgrade LengthBoundedDisjointPaths from decision (Or) to optimization (Max<usize>) + config redesign

Merge remote-tracking branch 'origin/main' into upgrade-decision-to-optimization-765

Adapt Tier 3 ILP rules + solver for optimization model API after main merge

Fix example-db test hang: prefer brute-force over ILP for small instances

Fix ILP<i32> solver performance: tighten variable bounds for HiGHS

Fix CLI test: remove --bound from MinimumCardinalityKey customized solver test

Improve test coverage: un-ignore OLA ILP tests, add missing branch coverage

fix: address PR #771 review comments

Commits on Mar 26, 2026

Replace hardcoded canonical rule examples with ILPSolver calls

refactor: extract rule_example_via_ilp helper, eliminating 60x boilerplate