Skip to content

Hi there 👋

We present 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. The main features of the framework are:

  • Easy to extend by enabling the creation of new plugins following a semi-automatic generator approach.
  • Support multiple variability models. Currently, it provides support for cardinality-based feature models. However, it is easy to integrate others such as attributed feature models
  • Support multiple solvers. Currently, it provides support for SAT and BDD metasolvers, which enables more than ten different solvers.
  • Support multiple operations. It is developed, having in mind multi-model operations and single-model operations. Currently, it provides more than ten operations for cardinality-based feature models

Pinned Loading

  1. flamapy Public

    Python 2

  2. flamapy_fw Public

    This repository hosts the main components of flamapy

    Python 4 6

  3. fm_metamodel Public

    This repo host the feature model concrete classes

    Python 3 5

  4. pysat_metamodel Public

    This repository will host the pysat metamode and its operation implementation

    Python 3 6

  5. bdd_metamodel Public

    BDD plugin for the automated analysis of feature models using a BDD.

    Python 1 2

Repositories

Showing 10 of 22 repositories
  • flamapy-ide Public
    JavaScript 3 LGPL-3.0 2 4 1 Updated Mar 20, 2025
  • fm_metamodel Public

    This repo host the feature model concrete classes

    Python 3 5 13 0 Updated Mar 18, 2025
  • Python 0 1 2 0 Updated Mar 17, 2025
  • smt_metamodel Public

    The flamapy plugin that supports Satisfiability Modulo Theories (SMT).

    Python 0 GPL-3.0 0 0 0 Updated Mar 17, 2025
  • flamapy_docs Public
    SCSS 0 MIT 0 1 3 Updated Mar 4, 2025
  • flamapy_fw Public

    This repository hosts the main components of flamapy

    Python 4 6 14 0 Updated Feb 13, 2025
  • flamapy.github.io Public Forked from zerostaticthemes/jekyll-serif-theme

    Serif is a multi page business theme for Jekyll.

    SCSS 0 MIT 845 2 1 Updated Dec 27, 2024
  • Python 0 0 1 0 Updated Nov 7, 2024
  • pysat_metamodel Public

    This repository will host the pysat metamode and its operation implementation

    Python 3 6 3 0 Updated Oct 25, 2024
  • bdd_metamodel Public

    BDD plugin for the automated analysis of feature models using a BDD.

    Python 1 2 8 (2 issues need help) 0 Updated Oct 25, 2024

Top languages

Loading…

Most used topics

Loading…