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

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
Allow auxiliary variables in the model enumeration Deploy LogicNG to the Maven Package Registry #20: Commit bac057d pushed by Apfelbeet
April 4, 2024 11:39 1m 25s main
main
April 4, 2024 11:39 1m 25s
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
merge MiniSat into SATSolver + some refactoring Build and Test LogicNG on different Operating Systems #34: Commit 71db045 pushed by SHildebrandt
March 31, 2024 21:28 7m 10s feature/new-solver-api
feature/new-solver-api
March 31, 2024 21:28 7m 10s
small refactorings Build and Test LogicNG on different Operating Systems #33: Commit 562d26a pushed by czengler
March 30, 2024 16:08 6m 25s feature/merge-solvers
feature/merge-solvers
March 30, 2024 16:08 6m 25s
small refactorings Build and Test LogicNG on different Operating Systems #32: Commit d7d8af6 pushed by czengler
March 29, 2024 17:43 11m 44s feature/small-refactorings
feature/small-refactorings
March 29, 2024 17:43 11m 44s
SATSolver (configuration) cleanup: parameters 'incremental', 'useBina… Build and Test LogicNG on different Operating Systems #31: Commit 6db30d6 pushed by SHildebrandt
March 29, 2024 17:18 6m 29s feature/merge-solvers
feature/merge-solvers
March 29, 2024 17:18 6m 29s
Fixed a bug in the new model enumeration Deploy LogicNG to the Maven Package Registry #19: Commit 8cd2ce6 pushed by czengler
March 29, 2024 15:01 1m 11s main
main
March 29, 2024 15:01 1m 11s
Fixed a bug in the new model enumeration Build and Test LogicNG on different Operating Systems #30: Commit 8cd2ce6 pushed by czengler
March 29, 2024 15:01 11m 4s main
main
March 29, 2024 15:01 11m 4s
Methods for auxiliary variables with additional prefix Build and Test LogicNG on different Operating Systems #29: Commit fe9db10 pushed by Apfelbeet
March 27, 2024 15:54 11m 5s feature/general-aux-variables
feature/general-aux-variables
March 27, 2024 15:54 11m 5s
fix formatting Build and Test LogicNG on different Operating Systems #28: Commit 7308912 pushed by Apfelbeet
March 27, 2024 08:25 11m 27s feature/csp
feature/csp
March 27, 2024 08:25 11m 27s
various SAT Solver Config refactoring Build and Test LogicNG on different Operating Systems #27: Commit 2773073 pushed by SHildebrandt
March 25, 2024 21:18 6m 28s feature/merge-solvers
feature/merge-solvers
March 25, 2024 21:18 6m 28s
Implement propagation algorithm for CSPs Build and Test LogicNG on different Operating Systems #26: Commit 1d2a109 pushed by Apfelbeet
March 25, 2024 17:21 17m 42s feature/csp
feature/csp
March 25, 2024 17:21 17m 42s
Add CSP auxiliary variable type Build and Test LogicNG on different Operating Systems #25: Commit effb2a9 pushed by Apfelbeet
March 22, 2024 15:32 17m 34s feature/csp
feature/csp
March 22, 2024 15:32 17m 34s
WIP: SAT encodings for CSP Build and Test LogicNG on different Operating Systems #24: Commit c934165 pushed by Apfelbeet
March 21, 2024 20:33 18m 5s feature/csp
feature/csp
March 21, 2024 20:33 18m 5s
fix potential bug with lbd features and incremental mode Build and Test LogicNG on different Operating Systems #23: Commit 1b93039 pushed by SHildebrandt
March 21, 2024 14:44 6m 36s feature/merge-solvers
feature/merge-solvers
March 21, 2024 14:44 6m 36s