Skip to content

ddnnife

A d-DNNF reasoner

Install from the command line
Learn more about packages
$ docker pull ghcr.io/softvare-group/ddnnife:macos-15-arm64

Recent tagged image versions

  • macos-15-arm64 main-arm64
    Published 1 day ago · Digest
    sha256:70275f1bb57735f80db681f1e796fd1e1d3d112a57252b7ddc2f56c9ac9b9fea
    0 Version downloads
  • macos-15-amd64 main-amd64
    Published 1 day ago · Digest
    sha256:5941af96b8ff47806d1d92607d567f24eaa33683512e9ae790d5933a86f46773
    0 Version downloads
  • pd4-amd64
    Published 2 days ago · Digest
    sha256:c9f6d6846465daf3d376d3627a00d374cd6d27acdb2bf281c8d6eff697fccdb8
    0 Version downloads
  • update-nix-amd64
    Published 3 days ago · Digest
    sha256:c884d3082d1b13a79b448a03bd19643b098ff3a5ed4565efcebf47e806eb394e
    0 Version downloads
  • latest-arm64 0.8.0-arm64
    Published 2 months ago · Digest
    sha256:5ea910f27eef6605ac3b3a361e7ebc0e5857aa0b3dc5519e75e726de3013ec8d
    1 Version downloads
View all tagged versions

Loading

Details

Last published

1 day ago

Issues

6

Total downloads

72