Skip to content
Build and Test LogicNG on different Operating Systems

Performance optimization in DNNF D-Tree generation #50

Sign in to view logs

Performance optimization in DNNF D-Tree generation

Performance optimization in DNNF D-Tree generation #50

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
9m 4s
build (macos-latest)
23m 4s
build (windows-latest)
12m 30s
44m 38s