Skip to content

reuse-ddnnf-eval-march2023

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-march2023:latest

Recent tagged image versions

  • latest
    Published over 1 year ago · Digest
    sha256:73b2d43860f1babfc0f9a8eb7442c790e6fe7d704d7f9372377c777f448b8ebf
    144 Version downloads
View all tagged versions

Loading

Details

Last published

over 1 year ago

Issues

0

Total downloads

144