Skip to content

ddnnife heuristics-command-amd64 Public Latest

A d-DNNF reasoner

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

Recent tagged image versions

  • heuristics-command-amd64
    Published about 8 hours ago · Digest
    sha256:168273f3ec97cb1d8affe12e3a79cf94edd25fb24af08f14804778a892de415c
    0 Version downloads
  • heuristics-command-arm64
    Published about 8 hours ago · Digest
    sha256:9a92566e16ce317e94e3fc0ced06a91f60dab79f48d742b9d2993159ac9993f4
    0 Version downloads
  • attribute-twise-amd64
    Published about 8 hours ago · Digest
    sha256:24a553adc49578f2ccbda2f7917b03dda33d4795bfa7f46a26ccb6a198b79c57
    0 Version downloads
  • attribute-twise-arm64
    Published about 8 hours ago · Digest
    sha256:98f34774891b24bae1dd4e6ef6650619e1dd2525e044f0c98afb22726375e331
    0 Version downloads
  • main-amd64
    Published about 10 hours ago · Digest
    sha256:c05ca01f370553c35ba5ca6add7704bcf6e06ae2f99224db8ae04d48268aaa68
    0 Version downloads
View all tagged versions

Loading

Details

Last published

8 hours ago

Issues

12

Total downloads

72