Skip to content

Actions: msakai/toysolver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add ToJSON/FromJSON instances to converters build #528: Pull request #120 synchronize by msakai
December 3, 2024 14:12 16m 37s feature/converter-to-json
feature/converter-to-json
December 3, 2024 14:12 16m 37s
Add ToJSON/FromJSON instances to converters build #527: Pull request #120 synchronize by msakai
November 30, 2024 14:35 14m 30s feature/converter-to-json
feature/converter-to-json
November 30, 2024 14:35 14m 30s
Add ToJSON/FromJSON instances to converters build #526: Pull request #120 synchronize by msakai
November 30, 2024 10:50 15m 44s feature/converter-to-json
feature/converter-to-json
November 30, 2024 10:50 15m 44s
Add ToJSON/FromJSON instances to converters build #525: Pull request #120 synchronize by msakai
November 27, 2024 23:59 6m 5s feature/converter-to-json
feature/converter-to-json
November 27, 2024 23:59 6m 5s
Add ToJSON/FromJSON instances to converters build #524: Pull request #120 synchronize by msakai
November 27, 2024 15:47 10m 55s feature/converter-to-json
feature/converter-to-json
November 27, 2024 15:47 10m 55s