Dataset for ASE'24 Efficient Slicing of Feature Models via Projected d-DNNF Compilation

This dataset includes various feature models as dimacs. Each dimacs includes a header indicating variables to be projected. The dataset was used for evaluating pd4 within the work Efficient Slicing of Feature Models via Projected d-DNNF Compilation at ASE'24.本数据集收录了各类采用DIMACS格式存储的特征模型，每个DIMACS文件均包含用于指明待投影变量的文件头。本数据集被用于在ASE'24上发表的题为《基于投影d-DNNF编译的特征模型高效切片》的研究工作中，对pd4工具进行性能评估。