Update to new d4 version with projected d-DNNF compilation (#43) #82
uulm-janbaudischAnnotations
2 warnings
|
Library (x86_64-linux, linux-x86-64, ubuntu-24.04, -d4, d4-)
Failed to restore: Cache service responded with 429
|
|
Library (x86_64-linux, linux-x86-64, ubuntu-24.04, -d4, d4-)
Failed to restore: Cache service responded with 429
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
d4-libddnnife-aarch64-darwin
|
1.77 MB |
|
|
d4-libddnnife-aarch64-linux
|
1.96 MB |
|
|
d4-libddnnife-x86_64-linux
|
2.04 MB |
|
|
ddnnife-kotlin
|
5.13 MB |
|
|
ddnnife-kotlin-d4
|
9.09 MB |
|
|
dependencies-d4-libddnnife-aarch64-darwin
|
6.61 MB |
|
|
dependencies-d4-libddnnife-aarch64-linux
|
7.59 MB |
|
|
dependencies-d4-libddnnife-x86_64-linux
|
7.6 MB |
|
|
libddnnife-aarch64-darwin
|
410 KB |
|
|
libddnnife-aarch64-linux
|
439 KB |
|
|
libddnnife-x86_64-darwin
|
428 KB |
|
|
libddnnife-x86_64-linux
|
458 KB |
|