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

Removed some minor code smells Build and Test LogicNG on different Operating Systems #84: Commit e8896ee pushed by czengler
September 10, 2024 20:19 2m 50s main
main
September 10, 2024 20:19 2m 50s
enable parallel tests via dedicated profile Build and Test LogicNG on different Operating Systems #83: Commit 6258b60 pushed by czengler
September 10, 2024 19:55 5m 33s main
main
September 10, 2024 19:55 5m 33s
add decrementality with saveState and loadState to MaxSATSolver, remo… Build and Test LogicNG on different Operating Systems #82: Commit 0a80fb6 pushed by SHildebrandt
August 29, 2024 09:21 5m 59s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
August 29, 2024 09:21 5m 59s
enable parallel tests via dedicated profile Build and Test LogicNG on different Operating Systems #81: Commit 6258b60 pushed by SHildebrandt
August 29, 2024 09:20 5m 24s feature/new-computation-handlers
feature/new-computation-handlers
August 29, 2024 09:20 5m 24s
add decrementality with saveState and loadState to MaxSATSolver, remo… Build and Test LogicNG on different Operating Systems #80: Commit 0d5b58c pushed by SHildebrandt
August 23, 2024 08:59 3m 22s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
August 23, 2024 08:59 3m 22s
replace word 'abort' with 'cancel' in handlers + reenable TimeoutMode… Build and Test LogicNG on different Operating Systems #79: Commit 1c5d860 pushed by SHildebrandt
August 23, 2024 08:57 3m 16s feature/new-computation-handlers
feature/new-computation-handlers
August 23, 2024 08:57 3m 16s
add decrementality with saveState and loadState to MaxSATSolver, remo… Build and Test LogicNG on different Operating Systems #78: Commit 63bd094 pushed by SHildebrandt
August 22, 2024 15:17 3m 35s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
August 22, 2024 15:17 3m 35s
LNGResults and Events for all DNNF computation steps Build and Test LogicNG on different Operating Systems #77: Commit d950d8a pushed by SHildebrandt
August 20, 2024 10:13 3m 22s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
August 20, 2024 10:13 3m 22s
LNGResults and Events for all DNNF computation steps Build and Test LogicNG on different Operating Systems #76: Commit f182f97 pushed by SHildebrandt
August 20, 2024 09:55 2m 54s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
August 20, 2024 09:55 2m 54s
implemented PG on Solver for MaxSAT Solvers Build and Test LogicNG on different Operating Systems #75: Commit b891c4d pushed by SHildebrandt
August 19, 2024 16:42 3m 21s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
August 19, 2024 16:42 3m 21s
make all MaxSAT solvers incremental Build and Test LogicNG on different Operating Systems #74: Commit e040709 pushed by SHildebrandt
August 9, 2024 10:53 6m 11s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
August 9, 2024 10:53 6m 11s
make all MaxSAT solver incremental Build and Test LogicNG on different Operating Systems #73: Commit 3e3ba76 pushed by SHildebrandt
August 9, 2024 10:51 3m 4s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
August 9, 2024 10:51 3m 4s
MaxSATSolver.solve without handler can return the plain MaxSATResult Build and Test LogicNG on different Operating Systems #72: Commit 1e11c8b pushed by SHildebrandt
August 8, 2024 14:16 3m 30s feature/new-computation-handlers
feature/new-computation-handlers
August 8, 2024 14:16 3m 30s
refactoring of MaxSATResult to include optimum and model Build and Test LogicNG on different Operating Systems #71: Commit b333b63 pushed by SHildebrandt
August 8, 2024 10:15 3m 44s feature/new-computation-handlers
feature/new-computation-handlers
August 8, 2024 10:15 3m 44s
javadoc clarificatin on NumberOfModelsHandler Build and Test LogicNG on different Operating Systems #70: Commit e5038fe pushed by SHildebrandt
July 3, 2024 08:51 3m 9s feature/new-computation-handlers
feature/new-computation-handlers
July 3, 2024 08:51 3m 9s
introduce LNGResult Build and Test LogicNG on different Operating Systems #69: Commit 662f7bf pushed by SHildebrandt
July 2, 2024 16:00 3m 12s feature/new-computation-handlers
feature/new-computation-handlers
July 2, 2024 16:00 3m 12s
new concept for computation handlers Build and Test LogicNG on different Operating Systems #68: Commit 90f441d pushed by SHildebrandt
June 26, 2024 19:03 3m 0s feature/new-computation-handlers
feature/new-computation-handlers
June 26, 2024 19:03 3m 0s
DNNF timeout handler and pass handlers to factory and model counter Build and Test LogicNG on different Operating Systems #67: Commit fc5b142 pushed by czengler
June 16, 2024 09:43 6m 28s main
main
June 16, 2024 09:43 6m 28s
Open solver package for serialization Build and Test LogicNG on different Operating Systems #66: Commit 9bccf64 pushed by czengler
May 22, 2024 15:21 6m 8s main
main
May 22, 2024 15:21 6m 8s
Equals/hashCode for solver configuration Build and Test LogicNG on different Operating Systems #65: Commit a2fec6f pushed by czengler
May 21, 2024 21:15 5m 55s main
main
May 21, 2024 21:15 5m 55s
Made more methods public for solver serialization Build and Test LogicNG on different Operating Systems #64: Commit 53f98f0 pushed by czengler
May 21, 2024 20:57 5m 27s main
main
May 21, 2024 20:57 5m 27s
Make some vector methods public Build and Test LogicNG on different Operating Systems #63: Commit aea3a01 pushed by czengler
May 21, 2024 13:10 27m 5s main
main
May 21, 2024 13:10 27m 5s
Remove reference to CspFactory in terms and predicates Build and Test LogicNG on different Operating Systems #62: Commit 953798a pushed by Apfelbeet
May 20, 2024 15:03 20m 7s feature/csp
feature/csp
May 20, 2024 15:03 20m 7s
Added parser setter to formula factory Build and Test LogicNG on different Operating Systems #61: Commit 17c6e09 pushed by czengler
May 4, 2024 08:44 5m 33s feature/javacc-parser
feature/javacc-parser
May 4, 2024 08:44 5m 33s
Removed ANTLR parser and introduced JavaCC parser Build and Test LogicNG on different Operating Systems #60: Commit 248545e pushed by czengler
May 4, 2024 08:32 6m 16s feature/javacc-parser
feature/javacc-parser
May 4, 2024 08:32 6m 16s