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.