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

Add instances for transforming objective function values between PB↔WBO conversion build #553: Pull request #132 opened by msakai
December 10, 2024 15:34 16m 4s feature/pb-wbo-obj-transformer
feature/pb-wbo-obj-transformer
December 10, 2024 15:34 16m 4s
Merge pull request #131 from msakai/feature/simplify-converter-tests build #552: Commit 7d08eb2 pushed by msakai
December 10, 2024 03:06 15m 18s master
master
December 10, 2024 03:06 15m 18s
Simplify converter tests build #551: Pull request #131 synchronize by msakai
December 10, 2024 00:19 16m 3s feature/simplify-converter-tests
feature/simplify-converter-tests
December 10, 2024 00:19 16m 3s
Simplify converter tests build #550: Pull request #131 opened by msakai
December 9, 2024 23:26 16m 28s feature/simplify-converter-tests
feature/simplify-converter-tests
December 9, 2024 23:26 16m 28s
Merge pull request #130 from msakai/feature/graph-clique build #549: Commit d7e8453 pushed by msakai
December 8, 2024 06:13 14m 48s master
master
December 8, 2024 06:13 14m 48s
Add isCliqueOf and complementGraph to ToySolver.Graph.Base build #548: Pull request #130 synchronize by msakai
December 8, 2024 05:09 19m 40s feature/graph-clique
feature/graph-clique
December 8, 2024 05:09 19m 40s
Add isCliqueOf and complementGraph to ToySolver.Graph.Base build #547: Pull request #130 synchronize by msakai
December 7, 2024 14:57 17m 8s feature/graph-clique
feature/graph-clique
December 7, 2024 14:57 17m 8s
Add isCliqueOf and complementGraph to ToySolver.Graph.Base build #546: Pull request #130 opened by msakai
December 7, 2024 09:46 15m 36s feature/graph-clique
feature/graph-clique
December 7, 2024 09:46 15m 36s
Remove Hackage Deps badge build #545: Commit b30fce6 pushed by msakai
December 5, 2024 11:52 16m 26s master
master
December 5, 2024 11:52 16m 26s
Merge pull request #129 from msakai/feature/naesat-json-special-var build #544: Commit d505be5 pushed by msakai
December 5, 2024 11:36 16m 33s master
master
December 5, 2024 11:36 16m 33s
Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding build #543: Pull request #129 synchronize by msakai
December 5, 2024 10:34 15m 55s feature/naesat-json-special-var
feature/naesat-json-special-var
December 5, 2024 10:34 15m 55s
Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding build #542: Pull request #129 synchronize by msakai
December 5, 2024 09:55 15m 42s feature/naesat-json-special-var
feature/naesat-json-special-var
December 5, 2024 09:55 15m 42s
Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding build #541: Pull request #129 opened by msakai
December 5, 2024 03:13 15m 31s feature/naesat-json-special-var
feature/naesat-json-special-var
December 5, 2024 03:13 15m 31s
fix typo in README.md build #540: Commit 713ab77 pushed by msakai
December 4, 2024 14:30 17m 28s master
master
December 4, 2024 14:30 17m 28s
build build #539: by msakai
December 4, 2024 14:28 17m 36s master
master
December 4, 2024 14:28 17m 36s
Merge pull request #125 from msakai/feature/dump-info-json build #538: Commit 5b9b9de pushed by msakai
December 4, 2024 14:17 15m 56s master
master
December 4, 2024 14:17 15m 56s
Merge pull request #128 from msakai/remove-unnecessary-json-value-con… build #537: Commit e0251ae pushed by msakai
December 4, 2024 13:21 15m 5s master
master
December 4, 2024 13:21 15m 5s
Remove unnecessary JSON Value constructor uses build #536: Pull request #128 synchronize by msakai
December 4, 2024 10:49 7m 37s remove-unnecessary-json-value-constructors
remove-unnecessary-json-value-constructors
December 4, 2024 10:49 7m 37s
Merge pull request #127 from msakai/feature/definitions-var-map build #535: Commit f7e353b pushed by msakai
December 4, 2024 09:18 15m 25s master
master
December 4, 2024 09:18 15m 25s
Merge pull request #126 from msakai/feature/qubo-converter-offset-sign build #534: Commit 7f54975 pushed by msakai
December 4, 2024 03:56 16m 43s master
master
December 4, 2024 03:56 16m 43s
Use SAT.VarMap to represent definitions in SAT-related encoders/converters build #533: Pull request #127 opened by msakai
December 4, 2024 00:00 15m 19s feature/definitions-var-map
feature/definitions-var-map
December 4, 2024 00:00 15m 19s
Change the signs of QUBO-related converter's representation of offset build #532: Pull request #126 opened by msakai
December 3, 2024 23:29 15m 34s feature/qubo-converter-offset-sign
feature/qubo-converter-offset-sign
December 3, 2024 23:29 15m 34s
Change --dump-info to output JSON build #531: Pull request #125 opened by msakai
December 3, 2024 15:42 27m 17s feature/dump-info-json
feature/dump-info-json
December 3, 2024 15:42 27m 17s
Merge pull request #120 from msakai/feature/converter-to-json build #530: Commit 4facb52 pushed by msakai
December 3, 2024 15:40 39m 21s master
master
December 3, 2024 15:40 39m 21s
Add ToJSON/FromJSON instances to converters build #529: Pull request #120 synchronize by msakai
December 3, 2024 15:16 18m 35s feature/converter-to-json
feature/converter-to-json
December 3, 2024 15:16 18m 35s
ProTip! You can narrow down the results and go further in time using created:<2024-12-03 or the other filters available.