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 flamapy Public

    Python 1

  2. flamapy_fw flamapy_fw Public

    This repository hosts the main components of flamapy

    Python 4 5

  3. fm_metamodel fm_metamodel Public

    This repo host the feature model concrete classes

    Python 3 5

  4. pysat_metamodel pysat_metamodel Public

    This repository will host the pysat metamode and its operation implementation

    Python 3 5

  5. bdd_metamodel bdd_metamodel Public

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

    Python 1 2

Repositories

Showing 10 of 21 repositories
  • smt_metamodel Public

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

    flamapy/smt_metamodel’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Nov 28, 2024
  • flamapy-ide Public
    flamapy/flamapy-ide’s past year of commit activity
    JavaScript 3 LGPL-3.0 1 1 1 Updated Nov 15, 2024
  • flamapy/bdd_metamodel_colosal’s past year of commit activity
    Python 0 0 1 0 Updated Nov 7, 2024
  • fm_metamodel Public

    This repo host the feature model concrete classes

    flamapy/fm_metamodel’s past year of commit activity
    Python 3 5 12 0 Updated Nov 3, 2024
  • pysat_metamodel Public

    This repository will host the pysat metamode and its operation implementation

    flamapy/pysat_metamodel’s past year of commit activity
    Python 3 5 3 0 Updated Oct 25, 2024
  • bdd_metamodel Public

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

    flamapy/bdd_metamodel’s past year of commit activity
    Python 1 2 7 (2 issues need help) 0 Updated Oct 25, 2024
  • flamapy_fw Public

    This repository hosts the main components of flamapy

    flamapy/flamapy_fw’s past year of commit activity
    Python 4 5 14 0 Updated Oct 25, 2024
  • flamapy_docs Public
    flamapy/flamapy_docs’s past year of commit activity
    SCSS 0 MIT 0 0 3 Updated Sep 17, 2024
  • tutorial Public

    This repository will host a tutorial for the ussage of the tool

    flamapy/tutorial’s past year of commit activity
    Shell 0 GPL-3.0 1 0 0 Updated Aug 27, 2024
  • flamapy.github.io Public Forked from zerostaticthemes/jekyll-serif-theme

    Serif is a multi page business theme for Jekyll.

    flamapy/flamapy.github.io’s past year of commit activity
    SCSS 0 MIT 820 1 0 Updated Aug 26, 2024

Top languages

Loading…

Most used topics

Loading…