Skip to content

d4v2

A CNF to d-DNNF compiler

Install from the command line
Learn more about packages
$ docker pull ghcr.io/softvare-group/d4v2:mt-kahypar-arm64

Recent tagged image versions

  • mt-kahypar-arm64
    Published 3 days ago · Digest
    sha256:45461a476f01b78641d535a197f0036c4cab2cc4d1483efcef3ce7a21b734182
    0 Version downloads
  • mt-kahypar-amd64
    Published 3 days ago · Digest
    sha256:bfae2d12aaa4b9e689c277cae22b0a15c65f22f78cdaa88c8442aae740f0e16a
    0 Version downloads
  • projected-dpll-arm64
    Published about 1 month ago · Digest
    sha256:c299c2639d24368526cc0ead5162bb04cf9b4664aa30ec72bee346b24240cfb0
    0 Version downloads
  • projected-dpll-amd64
    Published about 1 month ago · Digest
    sha256:b7bd4ffd89f6af2656ac72f41f8e3aab4e089bdfcf58cd2ea172aca2184174b1
    0 Version downloads
  • aarch64-arm64
    Published 4 months ago · Digest
    sha256:93acf7294d79b1c4c2d192680beceeba832d81698bd80fb2a29863b855c9abd3
    1 Version downloads
View all tagged versions

Loading

Details

Last published

3 days ago

Total downloads

23