Skip to content

Actions: booleworks/logicng-go

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
29 workflow runs
29 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Proper naming for BDD nodes Build and Test #29: Commit 73d7c62 pushed by czengler
May 17, 2024 20:35 5m 32s v0.4.0
v0.4.0
May 17, 2024 20:35 5m 32s
Proper naming for BDD nodes Build and Test #28: Commit 73d7c62 pushed by czengler
May 11, 2024 13:32 3m 57s main
main
May 11, 2024 13:32 3m 57s
BDD node representation Build and Test #27: Commit c80fa64 pushed by czengler
May 11, 2024 13:25 3m 54s main
main
May 11, 2024 13:25 3m 54s
Proper naming for formula graphical functions Build and Test #26: Commit b1c245a pushed by czengler
May 11, 2024 08:42 3m 59s main
main
May 11, 2024 08:42 3m 59s
Literals function also for more than one formula Build and Test #25: Commit df33080 pushed by czengler
May 9, 2024 10:38 4m 29s main
main
May 9, 2024 10:38 4m 29s
generate unsat core from solver in deterministic order Build and Test #24: Commit 5b25e3e pushed by czengler
May 7, 2024 06:35 5m 4s main
main
May 7, 2024 06:35 5m 4s
DNNF timeout handler Build and Test #23: Commit 66a3203 pushed by czengler
May 4, 2024 12:51 5m 10s main
main
May 4, 2024 12:51 5m 10s
DNNF-based model counting with DNNF handler Build and Test #22: Commit 0b966f5 pushed by czengler
May 4, 2024 12:39 5m 24s main
main
May 4, 2024 12:39 5m 24s
Moved function package to formula Build and Test #21: Commit 94d9199 pushed by czengler
April 23, 2024 18:11 6m 44s main
main
April 23, 2024 18:11 6m 44s
MAX-SAT solver report what problem type they support Build and Test #20: Commit 0825283 pushed by czengler
April 22, 2024 19:45 5m 11s main
main
April 22, 2024 19:45 5m 11s
Start anonymization variables with index 0 Build and Test #19: Commit 8cb90b9 pushed by czengler
April 20, 2024 14:38 4m 46s main
main
April 20, 2024 14:38 4m 46s
Fixed some more determinism issues Build and Test #18: Commit 647e2e9 pushed by czengler
April 20, 2024 13:32 9m 21s main
main
April 20, 2024 13:32 9m 21s
Fixed a determinism issue in the optimizer Build and Test #17: Commit ecfbeab pushed by czengler
April 20, 2024 12:25 4m 40s main
main
April 20, 2024 12:25 4m 40s
Renamed two simplification methods Build and Test #16: Commit 8b4022e pushed by czengler
April 20, 2024 10:36 5m 50s main
main
April 20, 2024 10:36 5m 50s
Some small test fixes Build and Test #15: Commit e092183 pushed by czengler
April 14, 2024 08:23 4m 48s main
main
April 14, 2024 08:23 4m 48s
Moved subsumption to simplification; added abortable transformation f… Build and Test #14: Commit 121ce69 pushed by czengler
April 14, 2024 07:47 12m 37s main
main
April 14, 2024 07:47 12m 37s
Timout handler for CNF/DNF factorization Build and Test #13: Commit 19e8a2d pushed by czengler
April 11, 2024 09:41 12m 37s main
main
April 11, 2024 09:41 12m 37s
BDD- and SAT-based normalforms with handler versions Build and Test #12: Commit 5c66c6c pushed by czengler
April 10, 2024 21:34 17m 31s main
main
April 10, 2024 21:34 17m 31s
Types for functions/predicates/transformations Build and Test #11: Commit 2989bfd pushed by czengler
April 9, 2024 21:07 16m 27s main
main
April 9, 2024 21:07 16m 27s
Finished testing of new SAT solver call interface Build and Test #10: Commit 1ad57f5 pushed by czengler
April 6, 2024 12:47 18m 19s v0.3.0
v0.3.0
April 6, 2024 12:47 18m 19s
Finished testing of new SAT solver call interface Build and Test #9: Commit 1ad57f5 pushed by czengler
April 6, 2024 12:34 19m 40s main
main
April 6, 2024 12:34 19m 40s
Fixed some issues with the new SAT solver call interface Build and Test #8: Commit d23a5a6 pushed by czengler
April 6, 2024 08:47 12m 1s main
main
April 6, 2024 08:47 12m 1s
Removed reset method on SAT solver Build and Test #7: Commit e6efe63 pushed by czengler
April 5, 2024 13:51 11m 38s main
main
April 5, 2024 13:51 11m 38s
Removed backbone configuration options in core solver Build and Test #6: Commit 1e2d47e pushed by czengler
April 4, 2024 09:51 17m 31s main
main
April 4, 2024 09:51 17m 31s
Introduced a distinction between mutable and immutable formula/var/li… Build and Test #5: Commit a18eede pushed by czengler
April 4, 2024 08:23 12m 26s main
main
April 4, 2024 08:23 12m 26s