feat: add 20 problem models with ILP rules#976

Merged

isPANN merged 32 commits intomainfrom

feat/batch-models

Apr 1, 2026

Commits on Mar 31, 2026

feat: add Maximum2Satisfiability model (#807)

isPANN
and
claude
committed
feat: add Maximum2Satisfiability → ILP reduction rule (#961)

isPANN
and
claude
committed
feat: add MinimumEdgeCostFlow model and ILP rule (#810, #962)

isPANN
and
claude
committed
feat: add MaximumDomaticNumber model and ILP rule (#878, #963)

isPANN
and
claude
committed
feat: add MinimumMetricDimension model and ILP rule (#880, #964)

isPANN
and
claude
committed
feat: add MaximumLeafSpanningTree model and ILP rule (#897, #965)

isPANN
and
claude
committed
feat: add MinimumGraphBandwidth model and ILP rule (#876)

isPANN
and
claude
committed
feat: add MinimumMatrixCover model and ILP rule (#931, #971)

isPANN
and
claude
committed
feat: add MaximumLikelihoodRanking model and ILP rule (#930, #969)

isPANN
and
claude
committed
feat: add MinimumWeightDecoding model and ILP rule (#923, #968)

isPANN
and
claude
committed
feat: add Clustering model (#927)

isPANN
and
claude
committed
feat: add MinimumWeightAndOrGraph model (#933)

isPANN
and
claude
committed
feat: add NumericalMatchingWithTargetSums model and ILP rule (#817)

isPANN
and
claude
committed
feat: add MinimumAxiomSet model (#869)

isPANN
and
claude
committed
feat: add MinimumFaultDetectionTestSet model (#935)

isPANN
and
claude
committed
feat: add MinimumRegisterSufficiencyForLoops model (#873)

isPANN
and
claude
committed
feat: add MinimumCapacitatedSpanningTree model and ILP rule (#901, #966)

isPANN
and
claude
committed
feat: add OptimumCommunicationSpanningTree model and ILP rule (#906, #967)

isPANN
and
claude
committed
feat: add MaxCut/SimpleGraph/One variant (MaximumBipartiteSubgraph alias) (#887)

isPANN
and
claude
committed
feat: add SquareTiling model (#820)

isPANN
and
claude
committed
feat: add ThreeMatroidIntersection model (#851)

isPANN
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: add 20 problem models with ILP rules#976

feat: add 20 problem models with ILP rules#976
isPANN merged 32 commits intomainfrom
feat/batch-models

Commits on Mar 31, 2026

feat: add Maximum2Satisfiability model (#807)

feat: add Maximum2Satisfiability → ILP reduction rule (#961)

feat: add MinimumEdgeCostFlow model and ILP rule (#810, #962)

feat: add MaximumDomaticNumber model and ILP rule (#878, #963)

feat: add MinimumMetricDimension model and ILP rule (#880, #964)

feat: add MaximumLeafSpanningTree model and ILP rule (#897, #965)

feat: add MinimumGraphBandwidth model and ILP rule (#876)

feat: add MinimumMatrixCover model and ILP rule (#931, #971)

feat: add MaximumLikelihoodRanking model and ILP rule (#930, #969)

feat: add MinimumWeightDecoding model and ILP rule (#923, #968)

feat: add Clustering model (#927)

feat: add MinimumWeightAndOrGraph model (#933)

feat: add NumericalMatchingWithTargetSums model and ILP rule (#817)

feat: add MinimumAxiomSet model (#869)

feat: add MinimumFaultDetectionTestSet model (#935)

feat: add MinimumRegisterSufficiencyForLoops model (#873)

feat: add MinimumCapacitatedSpanningTree model and ILP rule (#901, #966)

feat: add OptimumCommunicationSpanningTree model and ILP rule (#906, #967)

feat: add MaxCut/SimpleGraph/One variant (MaximumBipartiteSubgraph alias) (#887)

feat: add SquareTiling model (#820)

feat: add ThreeMatroidIntersection model (#851)

Commits on Apr 1, 2026

fix: resolve needless_range_loop clippy warnings on Rust 1.94

Merge branch 'main' into feat/batch-models

feat: add MinimumCodeGenerationOneRegister model (#900)

feat: add MinimumCodeGenerationUnlimitedRegisters model (#902)

feat: add MinimumCodeGenerationParallelAssignments model (#903)

feat: add MinimumDecisionTree model (#932)

feat: add MinimumDisjunctiveNormalForm model (#936)

feat: add VertexCover decision problem (#986)

refactor: simplify review — remove duplication, precompute, improve efficiency

fix: add missing paper entries for 5 ILP reduction rules

fix: harden ILP reductions, DRY bfs_distances, add CLI create for new models