Skip to content

Actions: booleworks/logicng-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196 workflow runs
196 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CSP: add README Build and Test LogicNG on different Operating Systems #134: Commit c49e0eb pushed by Apfelbeet
January 13, 2025 14:21 8m 40s main
main
January 13, 2025 14:21 8m 40s
CSP: update to new encoding result API Build and Test LogicNG on different Operating Systems #133: Commit 8d905e3 pushed by Apfelbeet
January 7, 2025 16:40 6m 4s feature/encoding-result-interface
feature/encoding-result-interface
January 7, 2025 16:40 6m 4s
Extend encoding result tests Build and Test LogicNG on different Operating Systems #132: Commit 11d2172 pushed by Apfelbeet
January 7, 2025 16:23 3m 57s feature/encoding-result-interface
feature/encoding-result-interface
January 7, 2025 16:23 3m 57s
Add access to underlying solver of MaxSatSolver Build and Test LogicNG on different Operating Systems #131: Commit b1092da pushed by Apfelbeet
January 7, 2025 15:49 8m 54s main
main
January 7, 2025 15:49 8m 54s
Add tests for encoding results Build and Test LogicNG on different Operating Systems #130: Commit 80331b1 pushed by Apfelbeet
January 7, 2025 12:38 8m 10s feature/encoding-result-interface
feature/encoding-result-interface
January 7, 2025 12:38 8m 10s
Update encoding result in CSP Lib Build and Test LogicNG on different Operating Systems #129: Commit 6afe285 pushed by Apfelbeet
December 16, 2024 19:22 6m 43s feature/encoding-result-interface
feature/encoding-result-interface
December 16, 2024 19:22 6m 43s
CSP: add utility functions Build and Test LogicNG on different Operating Systems #128: Commit 785ec33 pushed by Apfelbeet
December 16, 2024 14:35 6m 45s main
main
December 16, 2024 14:35 6m 45s
Remove implementation-dependent functions from EncodingResult Build and Test LogicNG on different Operating Systems #127: Commit bdc2198 pushed by Apfelbeet
December 16, 2024 13:53 4m 0s feature/encoding-result-interface
feature/encoding-result-interface
December 16, 2024 13:53 4m 0s
Implement EncodingResult as interface Build and Test LogicNG on different Operating Systems #126: Commit 1128139 pushed by Apfelbeet
December 11, 2024 14:36 6m 49s feature/encoding-result-interface
feature/encoding-result-interface
December 11, 2024 14:36 6m 49s
CSP: add handler support Build and Test LogicNG on different Operating Systems #125: Commit dbeb6d9 pushed by Apfelbeet
December 2, 2024 12:13 10m 19s main
main
December 2, 2024 12:13 10m 19s
deploy only on manual dispatch Build and Test LogicNG on different Operating Systems #124: Commit d67fe60 pushed by SHildebrandt
November 22, 2024 09:15 8m 8s main
main
November 22, 2024 09:15 8m 8s
bugfix in DNNF Compiler Deploy LogicNG to the Maven Package Registry #56: Commit 8b7745b pushed by SHildebrandt
November 22, 2024 09:11 1m 22s main
main
November 22, 2024 09:11 1m 22s
bugfix in DNNF Compiler Build and Test LogicNG on different Operating Systems #123: Commit 8b7745b pushed by SHildebrandt
November 22, 2024 09:11 7m 3s main
main
November 22, 2024 09:11 7m 3s
CSP: Make use of linear expression builder Deploy LogicNG to the Maven Package Registry #55: Commit 6093cd7 pushed by Apfelbeet
November 20, 2024 14:40 1m 18s main
main
November 20, 2024 14:40 1m 18s
CSP: Make use of linear expression builder Build and Test LogicNG on different Operating Systems #122: Commit 6093cd7 pushed by Apfelbeet
November 20, 2024 14:40 6m 50s main
main
November 20, 2024 14:40 6m 50s
CSP: Fix COE encoder bug Deploy LogicNG to the Maven Package Registry #54: Commit 7e6d27d pushed by Apfelbeet
November 12, 2024 17:57 1m 8s main
main
November 12, 2024 17:57 1m 8s
CSP: Fix COE encoder bug Build and Test LogicNG on different Operating Systems #121: Commit 7e6d27d pushed by Apfelbeet
November 12, 2024 17:57 8m 21s main
main
November 12, 2024 17:57 8m 21s
CSP: Update Csp Parser and Converter and add example files Build and Test LogicNG on different Operating Systems #120: Commit eb9a244 pushed by Apfelbeet
November 6, 2024 13:35 8m 40s main
main
November 6, 2024 13:35 8m 40s
CSP: Update Csp Parser and Converter and add example files Deploy LogicNG to the Maven Package Registry #53: Commit eb9a244 pushed by Apfelbeet
November 6, 2024 13:35 1m 16s main
main
November 6, 2024 13:35 1m 16s
CSP: fix wrong test and documentation Build and Test LogicNG on different Operating Systems #119: Commit 4803cd9 pushed by Apfelbeet
October 23, 2024 11:12 7m 44s main
main
October 23, 2024 11:12 7m 44s
CSP: fix wrong test and documentation Deploy LogicNG to the Maven Package Registry #52: Commit 4803cd9 pushed by Apfelbeet
October 23, 2024 11:12 1m 24s main
main
October 23, 2024 11:12 1m 24s
CSP: add parser and reader for predicates and CSPs Deploy LogicNG to the Maven Package Registry #51: Commit 70a88fa pushed by Apfelbeet
October 23, 2024 11:01 1m 11s main
main
October 23, 2024 11:01 1m 11s
CSP: add parser and reader for predicates and CSPs Build and Test LogicNG on different Operating Systems #118: Commit 70a88fa pushed by Apfelbeet
October 23, 2024 11:01 4m 20s main
main
October 23, 2024 11:01 4m 20s
CSP: Initial commit Build and Test LogicNG on different Operating Systems #117: Commit fc9dda2 pushed by Apfelbeet
October 10, 2024 12:21 7m 16s main
main
October 10, 2024 12:21 7m 16s
CSP: Initial commit Deploy LogicNG to the Maven Package Registry #50: Commit fc9dda2 pushed by Apfelbeet
October 10, 2024 12:21 1m 28s main
main
October 10, 2024 12:21 1m 28s