Skip to content

Actions: booleworks/logicng-core

Actions

Build and Test LogicNG on different Operating Systems

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
134 workflow runs
134 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 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 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 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: 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: 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
Prepare CSP module Build and Test LogicNG on different Operating Systems #116: Commit db88073 pushed by czengler
October 10, 2024 11:40 6m 56s main
main
October 10, 2024 11:40 6m 56s
Updated ProtoBuf to 4.28.2 Build and Test LogicNG on different Operating Systems #115: Commit ab296c5 pushed by czengler
September 26, 2024 06:39 7m 11s main
main
September 26, 2024 06:39 7m 11s
bugfix for abstract model enumeration Build and Test LogicNG on different Operating Systems #114: Commit 51767e4 pushed by SHildebrandt
September 23, 2024 08:39 7m 23s main
main
September 23, 2024 08:39 7m 23s
added a sysout to a unit test which is behaving strangly in GH actions Build and Test LogicNG on different Operating Systems #113: Commit 2a72b68 pushed by SHildebrandt
September 22, 2024 16:29 6m 56s main
main
September 22, 2024 16:29 6m 56s
Minimum prime implicant function with MaxSAT solver; MaxSAT config fo… Build and Test LogicNG on different Operating Systems #112: Commit e2f69f6 pushed by czengler
September 21, 2024 08:28 4m 30s main
main
September 21, 2024 08:28 4m 30s
Rewrote Prime compiler to use the new inc/dec MaxSAT solver Build and Test LogicNG on different Operating Systems #111: Commit 94cad5d pushed by czengler
September 20, 2024 17:37 8m 16s main
main
September 20, 2024 17:37 8m 16s
Rewrote SMUS to use the new inc/dec MaxSAT solver Build and Test LogicNG on different Operating Systems #110: Commit 715bb07 pushed by czengler
September 20, 2024 13:25 4m 3s main
main
September 20, 2024 13:25 4m 3s