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

Improve mip2pb test cases build #578: Pull request #139 opened by msakai
December 23, 2024 15:12 45m 5s feature/improve-mip2pb-test
feature/improve-mip2pb-test
December 23, 2024 15:12 45m 5s
Merge pull request #138 from msakai/feature/converter-instances build #577: Commit 3eac054 pushed by msakai
December 22, 2024 13:19 17m 54s master
master
December 22, 2024 13:19 17m 54s
Add more converter instances build #576: Pull request #138 synchronize by msakai
December 22, 2024 07:37 17m 4s feature/converter-instances
feature/converter-instances
December 22, 2024 07:37 17m 4s
Add more converter instances build #575: Pull request #138 synchronize by msakai
December 22, 2024 00:09 15m 4s feature/converter-instances
feature/converter-instances
December 22, 2024 00:09 15m 4s
Add more converter instances build #574: Pull request #138 synchronize by msakai
December 21, 2024 14:55 19m 18s feature/converter-instances
feature/converter-instances
December 21, 2024 14:55 19m 18s
Add more converter instances build #573: Pull request #138 opened by msakai
December 20, 2024 09:48 16m 6s feature/converter-instances
feature/converter-instances
December 20, 2024 09:48 16m 6s
Merge pull request #137 from msakai/fix-mip2pb-indicator build #572: Commit f6fea8e pushed by msakai
December 20, 2024 09:36 15m 9s master
master
December 20, 2024 09:36 15m 9s
Merge pull request #136 from msakai/fix-mip2pb-json build #571: Commit c8b54da pushed by msakai
December 20, 2024 09:36 16m 35s master
master
December 20, 2024 09:36 16m 35s
Fix mip2pb’s handling of indicator constraints build #570: Pull request #137 opened by msakai
December 20, 2024 03:19 16m 25s fix-mip2pb-indicator
fix-mip2pb-indicator
December 20, 2024 03:19 16m 25s
Fix MIP2PBInfo instance of FromJSON build #569: Pull request #136 opened by msakai
December 20, 2024 03:17 16m 23s fix-mip2pb-json
fix-mip2pb-json
December 20, 2024 03:17 16m 23s
Merge pull request #135 from msakai/feature/polish-pb2ip build #568: Commit 1d59a58 pushed by msakai
December 19, 2024 00:01 19m 53s master
master
December 19, 2024 00:01 19m 53s
Add test cases for pb2ip/wbo2ip and related instances build #567: Pull request #135 synchronize by msakai
December 18, 2024 15:38 16m 26s feature/polish-pb2ip
feature/polish-pb2ip
December 18, 2024 15:38 16m 26s
Add test cases for pb2ip/wbo2ip and related instances build #566: Pull request #135 synchronize by msakai
December 17, 2024 23:54 15m 17s feature/polish-pb2ip
feature/polish-pb2ip
December 17, 2024 23:54 15m 17s
Add test cases for pb2ip/wbo2ip and related instances build #565: Pull request #135 opened by msakai
December 17, 2024 22:28 9m 33s feature/polish-pb2ip
feature/polish-pb2ip
December 17, 2024 22:28 9m 33s
update URL of the 2011 SAT Competition Rule build #564: Commit 54bf7e1 pushed by msakai
December 16, 2024 14:40 15m 8s master
master
December 16, 2024 14:40 15m 8s
update URL of “Existential Quantification as Incremental SAT” build #563: Commit 9ac97b6 pushed by msakai
December 15, 2024 01:20 16m 7s master
master
December 15, 2024 01:20 16m 7s
Merge pull request #134 from msakai/feature/converters-newtype build #562: Commit 85bef3e pushed by msakai
December 14, 2024 11:40 14m 21s master
master
December 14, 2024 11:40 14m 21s
Change ReversedTransformer, GCNF2MaxSATInfo, PBAsQUBOInfo, QUBO2IsingInfo, Ising2QUBOInfo from data to newtype build #561: Pull request #134 opened by msakai
December 14, 2024 09:16 14m 14s feature/converters-newtype
feature/converters-newtype
December 14, 2024 09:16 14m 14s
Merge pull request #133 from msakai/feature/more-converter-tests build #560: Commit b356f0b pushed by msakai
December 14, 2024 05:21 18m 18s master
master
December 14, 2024 05:21 18m 18s
Add more tests for converter functions build #559: Pull request #133 synchronize by msakai
December 14, 2024 04:38 15m 42s feature/more-converter-tests
feature/more-converter-tests
December 14, 2024 04:38 15m 42s
Add more tests for converter functions build #558: Pull request #133 synchronize by msakai
December 13, 2024 15:14 16m 12s feature/more-converter-tests
feature/more-converter-tests
December 13, 2024 15:14 16m 12s
Add more tests for converter functions build #557: Pull request #133 synchronize by msakai
December 12, 2024 23:35 15m 24s feature/more-converter-tests
feature/more-converter-tests
December 12, 2024 23:35 15m 24s
Add more tests for converter functions build #556: Pull request #133 synchronize by msakai
December 12, 2024 14:42 15m 51s feature/more-converter-tests
feature/more-converter-tests
December 12, 2024 14:42 15m 51s
Add more tests for converter functions build #555: Pull request #133 opened by msakai
December 11, 2024 15:17 16m 33s feature/more-converter-tests
feature/more-converter-tests
December 11, 2024 15:17 16m 33s
Merge pull request #132 from msakai/feature/pb-wbo-obj-transformer build #554: Commit c56e803 pushed by msakai
December 10, 2024 23:43 16m 32s master
master
December 10, 2024 23:43 16m 32s