A Knowledge Base Statistics Tool

A backend for Clafer using the Choco4 solver... with SysMLv2 output

Synthesized Feature Model Generator

Interoperability of feature models guided by variability language constructs

A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques

SXFM is for Simple XML Feature Model format.

Domain-Specific Language (DSL) development for modelling variability, using Eclipse XTEXT and XTEND.

The explicit representation of uncertainty in a dynamic software production line variability model and feature ranking in final configuration to improve robustness in product configuration.

FM2QN: Transforming Feature Models into Queueing Networks

example SWaP-C analysis inthe Clafer modeling language

A Maven package for feature models

YAFMT - Yet Another Feature Modeling Tool for Eclipse

Web tool to create and edit feature models

visualize feature models with the penrose diagram language

Solving Sudoku as a Constraint Satisfaction Problem (CSP)

DyMMer-NFP is a tool to modeling non-functional properties and multiple context adaptation scenarios in software product lines

Modular Soundness Checking for Feature Model Evolution Plans

Three-Way Semantic Merge for Feature Model Evolution Plans

SPLOT - Software Product Lines Online Tools

Broad database for publicly available feature models