Skip to content

reuse-ddnnf-eval-february24 latest Public Latest

Replication package for evaluation on reusing d-DNNFs for feature model counting. For usage instructions, we refer to https://github.com/SoftVarE-Group/exploiting-ddnnfs-eval.

Install from the command line
Learn more about packages
$ docker pull ghcr.io/softvare-group/reuse-ddnnf-eval-february24:latest

Recent tagged image versions

  • latest
    Published 11 months ago · Digest
    sha256:0d89d62fb95a1f1f081983232eed8490c4aa0e6c8fb2b81130d88c560083a4ab
    46 Version downloads
View all tagged versions

Loading

Details

Last published

11 months ago

Issues

0

Total downloads

46