Enabling SAT-based Analysis of Cardinality-Based Feature Models By Unfolding

This is the (anonymous) replication repository for the paper "Enabling SAT-based Analysis of Cardinality-Based Feature Models By Unfolding".

To run the translation, install poetry requirements

poetry install

build the poetry project

poetry build

and run

poetry run cfmtofm input.json --encoder [seq | naive] > output.xml

Subject Systems

Feasibility

The models used for evaluating feasibility with different dimensions of scaling can be found in /examples/eval/feasibility/increasingX.

Structure

The model used to analyze the resulting structure can be found at /examples/eval/extra/model_1.json

Additional Plots

The plots for memory consumption can be found in /examples/eval/feasibility/figs