Skip to content

Actions: msakai/toysolver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #170 from msakai/feature/add-mip-improvement build #678: Commit 563e03d pushed by msakai
April 19, 2025 14:16 12m 9s master
master
April 19, 2025 14:16 12m 9s
Support semi-integer variables in IP->PB conversion and improve error messages build #677: Pull request #170 synchronize by msakai
April 19, 2025 14:00 11m 6s feature/add-mip-improvement
feature/add-mip-improvement
April 19, 2025 14:00 11m 6s
Support semi-integer variables in IP->PB conversion and improve error messages build #676: Pull request #170 synchronize by msakai
April 19, 2025 13:34 12m 17s feature/add-mip-improvement
feature/add-mip-improvement
April 19, 2025 13:34 12m 17s
Support semi-integer variables in IP->PB conversion and improve error messages build #675: Pull request #170 opened by msakai
April 19, 2025 09:51 13m 35s feature/add-mip-improvement
feature/add-mip-improvement
April 19, 2025 09:51 13m 35s
Merge pull request #169 from msakai/feature/normalize-pb-transform-co… build #674: Commit fb6deb0 pushed by msakai
April 19, 2025 09:48 15m 48s master
master
April 19, 2025 09:48 15m 48s
Extend normalizePB to transform constant terms in objective function into non-constant terms build #673: Pull request #169 synchronize by msakai
April 19, 2025 07:31 7m 34s feature/normalize-pb-transform-constant
feature/normalize-pb-transform-constant
April 19, 2025 07:31 7m 34s
Extend normalizePB to transform constant terms in objective function into non-constant terms build #672: Pull request #169 opened by msakai
April 19, 2025 06:53 14m 54s feature/normalize-pb-transform-constant
feature/normalize-pb-transform-constant
April 19, 2025 06:53 14m 54s
Merge pull request #168 from msakai/feature/inequalitiesToEqualitiesP… build #671: Commit f384c67 pushed by msakai
April 17, 2025 12:26 16m 57s master
master
April 17, 2025 12:26 16m 57s
fix a warning build #670: Commit acb27c5 pushed by msakai
April 16, 2025 03:48 15m 15s master
master
April 16, 2025 03:48 15m 15s
Improve inequalitiesToEqualitiesPB to produce more compact output build #669: Pull request #168 opened by msakai
April 15, 2025 15:58 18m 10s feature/inequalitiesToEqualitiesPB-more-compact
feature/inequalitiesToEqualitiesPB-more-compact
April 15, 2025 15:58 18m 10s
Merge pull request #167 from msakai/feature/refactor-sat-encoder-integer build #668: Commit 896576a pushed by msakai
April 14, 2025 15:29 12m 32s master
master
April 14, 2025 15:29 12m 32s
Refactor ToySolver.SAT.Encoder.Integer build #667: Pull request #167 opened by msakai
April 14, 2025 15:00 13m 30s feature/refactor-sat-encoder-integer
feature/refactor-sat-encoder-integer
April 14, 2025 15:00 13m 30s
Merge pull request #166 from msakai/feature/improve-integer-new-var-test build #666: Commit 111c060 pushed by msakai
April 14, 2025 11:57 16m 36s master
master
April 14, 2025 11:57 16m 36s
Improve test case of ToySolver.SAT.Encoder.Integer.newVar build #665: Pull request #166 opened by msakai
April 14, 2025 11:25 11m 59s feature/improve-integer-new-var-test
feature/improve-integer-new-var-test
April 14, 2025 11:25 11m 59s
Merge pull request #165 from msakai/feature/readme-toyconvert-formats build #664: Commit 4238641 pushed by msakai
April 14, 2025 00:02 13m 31s master
master
April 14, 2025 00:02 13m 31s
Improve supported formats description for toyconvert on README.md build #663: Pull request #165 synchronize by msakai
April 13, 2025 23:10 15m 3s feature/readme-toyconvert-formats
feature/readme-toyconvert-formats
April 13, 2025 23:10 15m 3s
Improve supported formats description for toyconvert on README.md build #662: Pull request #165 synchronize by msakai
April 13, 2025 16:09 9m 40s feature/readme-toyconvert-formats
feature/readme-toyconvert-formats
April 13, 2025 16:09 9m 40s
Improve supported formats description for toyconvert on README.md build #661: Pull request #165 opened by msakai
April 13, 2025 16:00 11m 7s feature/readme-toyconvert-formats
feature/readme-toyconvert-formats
April 13, 2025 16:00 11m 7s
minor: use MIP.varName instead of deprecated MIP.fromVar build #660: Commit e09ea91 pushed by msakai
April 13, 2025 15:23 13m 9s master
master
April 13, 2025 15:23 13m 9s
Merge pull request #164 from msakai/improve-inequalities-to-equalitie… build #659: Commit b6d0e5c pushed by msakai
April 13, 2025 15:08 16m 48s master
master
April 13, 2025 15:08 16m 48s
Store surplus expression instead of raw variables in inequalitiesToEqualitiesPB build #658: Pull request #164 opened by msakai
April 13, 2025 14:23 13m 12s improve-inequalities-to-equalities-pb
improve-inequalities-to-equalities-pb
April 13, 2025 14:23 13m 12s
Merge pull request #162 from msakai/feature/integer-log-encoding build #657: Commit 3cb051c pushed by msakai
April 13, 2025 12:33 13m 57s master
master
April 13, 2025 12:33 13m 57s
Change ToySolver.SAT.Encoder.Integer to encode integer variables without introducing <= constraints build #656: Pull request #162 synchronize by msakai
April 13, 2025 12:06 13m 14s feature/integer-log-encoding
feature/integer-log-encoding
April 13, 2025 12:06 13m 14s
Merge pull request #163 from msakai/fix-typo-surpass build #655: Commit 9932a08 pushed by msakai
April 13, 2025 11:34 12m 50s master
master
April 13, 2025 11:34 12m 50s
Fix typo: surpass -> surplus build #654: Pull request #163 opened by msakai
April 13, 2025 11:15 10m 57s fix-typo-surpass
fix-typo-surpass
April 13, 2025 11:15 10m 57s