Skip to content

Actions: booleworks/logicng-core

Actions

Deploy LogicNG to the Maven Package Registry

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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: 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: 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 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: 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
Prepare CSP module Deploy LogicNG to the Maven Package Registry #49: Commit db88073 pushed by czengler
October 10, 2024 11:40 1m 37s main
main
October 10, 2024 11:40 1m 37s
Updated ProtoBuf to 4.28.2 Deploy LogicNG to the Maven Package Registry #48: Commit ab296c5 pushed by czengler
September 26, 2024 06:39 1m 1s main
main
September 26, 2024 06:39 1m 1s
bugfix for abstract model enumeration Deploy LogicNG to the Maven Package Registry #47: Commit 51767e4 pushed by SHildebrandt
September 23, 2024 08:39 1m 3s main
main
September 23, 2024 08:39 1m 3s
added a sysout to a unit test which is behaving strangly in GH actions Deploy LogicNG to the Maven Package Registry #46: Commit 2a72b68 pushed by SHildebrandt
September 22, 2024 16:29 1m 9s main
main
September 22, 2024 16:29 1m 9s
Minimum prime implicant function with MaxSAT solver; MaxSAT config fo… Deploy LogicNG to the Maven Package Registry #45: Commit e2f69f6 pushed by czengler
September 21, 2024 08:28 1m 12s main
main
September 21, 2024 08:28 1m 12s
Rewrote Prime compiler to use the new inc/dec MaxSAT solver Deploy LogicNG to the Maven Package Registry #44: Commit 94cad5d pushed by czengler
September 20, 2024 17:37 1m 13s main
main
September 20, 2024 17:37 1m 13s
Rewrote SMUS to use the new inc/dec MaxSAT solver Deploy LogicNG to the Maven Package Registry #43: Commit 715bb07 pushed by czengler
September 20, 2024 13:25 1m 11s main
main
September 20, 2024 13:25 1m 11s
removed an obsolete constructor Deploy LogicNG to the Maven Package Registry #42: Commit b6d5034 pushed by SHildebrandt
September 19, 2024 10:06 1m 12s main
main
September 19, 2024 10:06 1m 12s
Restructured construction of MaxSAT solvers and moved the algorithm t… Deploy LogicNG to the Maven Package Registry #41: Commit 852a9d3 pushed by czengler
September 17, 2024 21:13 1m 10s main
main
September 17, 2024 21:13 1m 10s
Use isEmpty methods Deploy LogicNG to the Maven Package Registry #40: Commit 2fbf7fc pushed by czengler
September 17, 2024 08:22 1m 23s main
main
September 17, 2024 08:22 1m 23s
Consistent naming of abbreviations in classes and methods Deploy LogicNG to the Maven Package Registry #39: Commit 52b2070 pushed by czengler
September 16, 2024 14:51 1m 25s main
main
September 16, 2024 14:51 1m 25s
Consistent getter/setter naming Deploy LogicNG to the Maven Package Registry #38: Commit 42de505 pushed by czengler
September 16, 2024 11:03 1m 9s main
main
September 16, 2024 11:03 1m 9s
Updated to latest ProtoBuf version Deploy LogicNG to the Maven Package Registry #37: Commit f0e00a2 pushed by czengler
September 15, 2024 20:48 1m 10s main
main
September 15, 2024 20:48 1m 10s
Moved test files Deploy LogicNG to the Maven Package Registry #36: Commit 27c34fd pushed by czengler
September 13, 2024 12:29 1m 10s main
main
September 13, 2024 12:29 1m 10s
Fixed a small bug in resetting the PG transformator Deploy LogicNG to the Maven Package Registry #35: Commit 0eeb6d0 pushed by czengler
September 12, 2024 19:10 57s main
main
September 12, 2024 19:10 57s
Minor refactorings and corrected typos Deploy LogicNG to the Maven Package Registry #34: Commit 45448d9 pushed by czengler
September 11, 2024 06:54 56s main
main
September 11, 2024 06:54 56s
Merge pull request #1 from booleworks/feature/javacc-parser Deploy LogicNG to the Maven Package Registry #33: Commit de4fda5 pushed by czengler
September 11, 2024 06:20 1m 7s main
main
September 11, 2024 06:20 1m 7s
Removed some minor code smells Deploy LogicNG to the Maven Package Registry #32: Commit e8896ee pushed by czengler
September 10, 2024 20:19 58s main
main
September 10, 2024 20:19 58s