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

PoC JavaCC parser Build and Test LogicNG on different Operating Systems #59: Commit a5361e4 pushed by czengler
May 3, 2024 12:40 5m 41s feature/javacc-parser
feature/javacc-parser
May 3, 2024 12:40 5m 41s
Clean up code (forgotten file) Build and Test LogicNG on different Operating Systems #58: Commit d34db63 pushed by Apfelbeet
May 1, 2024 10:31 20m 34s feature/csp
feature/csp
May 1, 2024 10:31 20m 34s
Clean up code Build and Test LogicNG on different Operating Systems #57: Commit 4c19bb8 pushed by Apfelbeet
May 1, 2024 10:29 50s feature/csp
feature/csp
May 1, 2024 10:29 50s
Merge branch 'feature/general-aux-variables' Build and Test LogicNG on different Operating Systems #56: Commit 0d44b9e pushed by SHildebrandt
April 29, 2024 13:18 6m 19s main
main
April 29, 2024 13:18 6m 19s
Fixed some long-running tests Build and Test LogicNG on different Operating Systems #55: Commit 90aa27c pushed by czengler
April 24, 2024 20:22 5m 52s main
main
April 24, 2024 20:22 5m 52s
Merge branch 'feature/new-solver-api' Build and Test LogicNG on different Operating Systems #54: Commit deb8e46 pushed by SHildebrandt
April 24, 2024 15:59 6m 16s main
main
April 24, 2024 15:59 6m 16s
Merge branch 'feature/new-solver-api' of github.com:booleworks/logicn… Build and Test LogicNG on different Operating Systems #53: Commit 6fe71ad pushed by czengler
April 24, 2024 13:40 11m 50s feature/new-solver-api
feature/new-solver-api
April 24, 2024 13:40 11m 50s
minor SATCall refactoring Build and Test LogicNG on different Operating Systems #52: Commit e4b6644 pushed by SHildebrandt
April 24, 2024 12:55 12m 23s feature/new-solver-api
feature/new-solver-api
April 24, 2024 12:55 12m 23s
Reformatted code Build and Test LogicNG on different Operating Systems #51: Commit c8deaa6 pushed by czengler
April 24, 2024 12:51 20m 26s main
main
April 24, 2024 12:51 20m 26s
Performance optimization in DNNF D-Tree generation Build and Test LogicNG on different Operating Systems #50: Commit 46ec422 pushed by czengler
April 24, 2024 12:37 23m 13s main
main
April 24, 2024 12:37 23m 13s
minor fix in load state (only affected stats) Build and Test LogicNG on different Operating Systems #49: Commit 718fa5a pushed by SHildebrandt
April 17, 2024 12:57 14m 30s feature/new-solver-api
feature/new-solver-api
April 17, 2024 12:57 14m 30s
Mandatory variables for order decoding Build and Test LogicNG on different Operating Systems #48: Commit 5675842 pushed by Apfelbeet
April 9, 2024 14:01 12m 1s feature/csp
feature/csp
April 9, 2024 14:01 12m 1s
Make managing csp encodings easier Build and Test LogicNG on different Operating Systems #47: Commit 24d45c6 pushed by Apfelbeet
April 8, 2024 12:34 15m 6s feature/csp
feature/csp
April 8, 2024 12:34 15m 6s
Merge branch 'main' into feature/general-aux-variables Build and Test LogicNG on different Operating Systems #46: Commit dd9cbe5 pushed by Apfelbeet
April 8, 2024 12:31 14m 36s feature/general-aux-variables
feature/general-aux-variables
April 8, 2024 12:31 14m 36s
removed dangerous methods from LNGIntVector + fix potential bug in drup Build and Test LogicNG on different Operating Systems #45: Commit 0114177 pushed by SHildebrandt
April 8, 2024 09:16 1h 21m 36s feature/new-solver-api
feature/new-solver-api
April 8, 2024 09:16 1h 21m 36s
remove obsolete selectors parameter from core solver Build and Test LogicNG on different Operating Systems #44: Commit e169b10 pushed by SHildebrandt
April 5, 2024 13:53 1h 21m 36s feature/new-solver-api
feature/new-solver-api
April 5, 2024 13:53 1h 21m 36s
fixed javadoc Build and Test LogicNG on different Operating Systems #43: Commit 9ec68d5 pushed by SHildebrandt
April 5, 2024 09:05 1h 21m 31s feature/new-solver-api
feature/new-solver-api
April 5, 2024 09:05 1h 21m 31s
removed model and unsatCore methods from SATSolver Build and Test LogicNG on different Operating Systems #42: Commit 6ad3802 pushed by SHildebrandt
April 5, 2024 08:30 11m 29s feature/new-solver-api
feature/new-solver-api
April 5, 2024 08:30 11m 29s
some refactoring Build and Test LogicNG on different Operating Systems #41: Commit e7bd4e8 pushed by SHildebrandt
April 5, 2024 08:14 1h 21m 40s feature/new-solver-api
feature/new-solver-api
April 5, 2024 08:14 1h 21m 40s
Allow auxiliary variables in the model enumeration Build and Test LogicNG on different Operating Systems #40: Commit bac057d pushed by Apfelbeet
April 4, 2024 11:39 10m 46s main
main
April 4, 2024 11:39 10m 46s
removed backbone configuration parameters from SATSolverConfig Build and Test LogicNG on different Operating Systems #39: Commit 944e268 pushed by SHildebrandt
April 4, 2024 10:00 1h 21m 44s feature/new-solver-api
feature/new-solver-api
April 4, 2024 10:00 1h 21m 44s
moved LNGCoreSolver.initialize to constructor and field initializatio… Build and Test LogicNG on different Operating Systems #38: Commit c85e8c6 pushed by SHildebrandt
April 3, 2024 17:10 1h 21m 40s feature/new-solver-api
feature/new-solver-api
April 3, 2024 17:10 1h 21m 40s
adjustments to SATCall.model: unknown variables are returned with ass… Build and Test LogicNG on different Operating Systems #37: Commit 95946ad pushed by SHildebrandt
April 3, 2024 16:01 10m 10s feature/new-solver-api
feature/new-solver-api
April 3, 2024 16:01 10m 10s
replaced assumption-calls with addFormulas, removed resultSetter from… Build and Test LogicNG on different Operating Systems #36: Commit 4122c0d pushed by SHildebrandt
April 2, 2024 16:03 6m 34s feature/new-solver-api
feature/new-solver-api
April 2, 2024 16:03 6m 34s
merge MiniSatStyleSolver and MiniSat2Solver to LNGCoreSolver, rename … Build and Test LogicNG on different Operating Systems #35: Commit 5262b8c pushed by SHildebrandt
April 1, 2024 15:40 6m 30s feature/new-solver-api
feature/new-solver-api
April 1, 2024 15:40 6m 30s