11 projects
flamapy
Flamapy feature model is a distribution of the flama framework containing all plugins required to analyze feature models. It also offers a richer API and a complete command line interface and documentation.
flamapy-bdd
bdd-plugin for the automated analysis of feature models
flamapy-z3
z3-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-fw
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
flamapy-bdd-colosal
bdd-plugin for the automated analysis of feature models
flamapy-dev
CLI tool for managing Git repositories and Python packages for the Flamapy distribution
flamapy-rest
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.
afmparser
This module provides a get_tree function to obtain an ANTLR4 parse-tree from a AFM-defined feature model
