Artifact for "Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models"

This artifact supplies the tooling and original data used in the evaluation of the corresponding submission #52 `Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models'' accepted at SPLC'24. The artifact allows reproducing all the figures and tables of the submission. In addition, the artifact allows for easy replicating of the results for additional input models.本附属研究材料（artifact）提供了用于评估第52号投稿论文的工具集与原始数据集，该投稿标题为《面向特征模型（Feature Models）的二元决策图（Binary Decision Diagrams）确定性编译》，已被SPLC'24录用。本附属材料可复现该投稿论文中的全部图表与表格。此外，借助本附属材料可便捷复现针对额外输入特征模型的实验结果。