spl:configurations
Print the number of valid configurations represented by the UVL model.
Usage
splent spl:configurations [--workspace PATH] [--pyproject PATH] [--with-sat]
Options
| Option | Description |
|---|---|
--workspace |
Override the workspace path. |
--pyproject |
Override the pyproject.toml path. |
--with-sat |
Force the PySAT backend (slower but more compatible). |
Description
Uses a SAT solver to count the number of valid feature combinations allowed by the model. Useful for understanding the variability space of the product line.
Requires flamapy with PySAT support (splent_cli[uvl]). Install with pip install splent_cli[uvl].