Skip to content

Actions: CodingThrust/problem-reductions

Actions

Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
349 workflow runs
349 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add 10 reduction rules (#770) (#972) Deploy Documentation #349: Commit 423506c pushed by zazabap
5m 33s main
main
5m 33s
feat: add 38 problem models (#960) Deploy Documentation #348: Commit 183b19a pushed by zazabap
5m 34s main
main
5m 34s
feat: add 11 Tier 1a + 1b medium-confidence reduction rules (#770) (#… Deploy Documentation #347: Commit 0f51be6 pushed by isPANN
5m 22s main
main
5m 22s
Fix #441: Add MinimumExternalMacroDataCompression model (#819) Deploy Documentation #346: Commit a70b132 pushed by isPANN
5m 35s main
main
5m 35s
Fix #515: [Model] RegisterSufficiency (#816) Deploy Documentation #345: Commit 81d92e5 pushed by isPANN
5m 26s main
main
5m 26s
feat: add IntegerExpressionMembership model (#552) (#814) Deploy Documentation #344: Commit b4a2c62 pushed by isPANN
5m 16s main
main
5m 16s
feat: add SchedulingToMinimizeWeightedCompletionTime model + ILP rule… Deploy Documentation #343: Commit f3837e2 pushed by isPANN
5m 24s main
main
5m 24s
feat: add KthLargestMTuple model (#405) (#805) Deploy Documentation #342: Commit a4b8656 pushed by isPANN
5m 40s main
main
5m 40s
feat: add QuadraticDiophantineEquations model (#543) (#812) Deploy Documentation #341: Commit 7657a08 pushed by isPANN
5m 51s main
main
5m 51s
Fix #532: [Model] IntegerKnapsack (#815) Deploy Documentation #340: Commit 102b941 pushed by zazabap
5m 35s main
main
5m 35s
feat: add FeasibleBasisExtension model (#530) (#818) Deploy Documentation #339: Commit 6a4f5c7 pushed by zazabap
5m 9s main
main
5m 9s
update forever loop Deploy Documentation #338: Commit 006d468 pushed by GiggleLiu
5m 27s main
main
5m 27s
Fix #548: Add CosineProductIntegration model and Partition reduction … Deploy Documentation #337: Commit 624c71f pushed by isPANN
5m 28s main
main
5m 28s
Fix #513: [Model] ProductionPlanning (#761) Deploy Documentation #336: Commit e067f91 pushed by isPANN
5m 19s main
main
5m 19s
Add ILP solver backends (HiGHS, CPLEX, lp-solvers) and fix good_lp co… Deploy Documentation #335: Commit 31a81ad pushed by GiggleLiu
9m 32s main
main
9m 32s
Fix #789: HC→StackerCrane reduction returns incorrect result on prism… Deploy Documentation #334: Commit e1b41bd pushed by GiggleLiu
29s main
main
29s
Fix #773: Add bf_vs_ilp tests for all ILP reduction rules (#778) Deploy Documentation #333: Commit 4bed271 pushed by GiggleLiu
5m 29s main
main
5m 29s
feat: add 12 Tier 1b high-confidence reduction rules (#770) (#779) Deploy Documentation #332: Commit f29cfb1 pushed by isPANN
5m 42s main
main
5m 42s
Fix #510: [Model] JobShopScheduling (#760) Deploy Documentation #331: Commit 772d001 pushed by isPANN
5m 28s main
main
5m 28s
feat: add 8 Tier 1a reduction rules (#770) (#777) Deploy Documentation #330: Commit 704ed6a pushed by isPANN
5m 26s main
main
5m 26s
Fix #492: [Model] 3Partition (#759) Deploy Documentation #329: Commit a69b719 pushed by isPANN
6m 9s main
main
6m 9s
Replace hardcoded canonical rule examples with ILPSolver calls (#775) Deploy Documentation #328: Commit 0980d5a pushed by zazabap
5m 11s main
main
5m 11s
Fix #764: Delete GraphPartitioning, make it an alias of MaxCut (#776) Deploy Documentation #327: Commit 093c595 pushed by isPANN
5m 29s main
main
5m 29s
Fix #765: Upgrade 17 decision models to optimization (Group A + B) (#… Deploy Documentation #326: Commit 66e9050 pushed by zazabap
5m 30s main
main
5m 30s
feat: add CustomizedSolver with structure-exploiting backends (#766) Deploy Documentation #325: Commit 88fb8f7 pushed by GiggleLiu
5m 29s main
main
5m 29s