6 projects
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
famapy-bdd
bdd-plugin for the automated analysis of feature models
famapy-sat
famapy-sat is a plugin to FaMaPy module
famapy-fm
famapy-fm is a plugin to FaMaPy module
famapy
FaMaPy 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.