14 projects
flamapy-rest
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
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-sharpsat
flamapy-sharpsat is a plugin to flamapy providing approximate model counting and almost-uniform sampling
flamapy-dnnf
flamapy-dnnf is a plugin to flamapy providing exact analysis of feature models via d-DNNF knowledge compilation with the d4 compiler
flamapy-sdd
flamapy-sdd is a plugin to flamapy providing Sentential Decision Diagram (SDD) knowledge compilation for exact analysis of feature models
flamapy-z3
z3-plugin for the automated analysis of feature models
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-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
afmparser
This module provides a get_tree function to obtain an ANTLR4 parse-tree from a AFM-defined feature model
