a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
Flama as a feature model analysis tool As we have shown, the Flama framework could be adapted to support other kinds of variability descriptions by creating new plugins that represent the meta-classes to define it and the transformation to any existing reasoning technique. This is, for example, the case of a plugin to analyze software dependencies with security concerns information. However, its main purpose is the analysis of feature models. Because of that, Flama provides a single Python package that installs all the required plugins and provides a more straightforward usage of the tooling. Concretely, this pip package provides the fol...
The core component is the main entry point of Flama Description The core component of this frame...
The feature model plugin provides the metaclases required to work with feature models Descriptio...
The pysat model plugin provides the metaclases required to work with SAT models and to transform...
The BDD model plugin provides the metaclases required to work with SAT models and to transform f...