7 projects
flamapy-fm-dist
Flamapy feature model is a distribution of the flama framework containing all plugins required to analyze feature models. It also offers a richier API and a complete command line interface and documentation.
flamapy-bdd
bdd-plugin for the automated analysis of feature models
flamapy-sat
flamapy-sat is a plugin to flamapy module
flamapy-fm
flamapy-fm is a plugin to Flamapy module
flamapy
Flamapy is 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.
uvlparser
This module provides a get_tree function to obtain an ANTLR parse-tree from a UVL-defined feature model
afmparser
This module provides a get_tree function to obtain an ANTLR4 parse-tree from a AFM-defined feature model