ddnnife takes a smooth d-DNNF following the standard format specified by c2d or the d4 standard. It can be used to compute the cardinality of single features, all features, or partial configurations. Furthermore, it can compute SAT queries, core/dead features, atomic sets, enumerate complete valid configurations and produce uniform random samples.
Contact: Chico Sundermann
DiffDetective is an open-source Java library for variability-aware source code differencing and the analysis of version histories of software product lines.
Contact: Rahel Sundermann, Paul Bittner
FeatJAR is a collection of Java libraries for feature-oriented software development, planned to replace the FeatureIDE library, starting with FeatureIDE 4.0.0.
Contact: Sebastian Krieter
FeatureIDE is an Eclipse-based IDE that supports all phases of feature-oriented software development for the development of SPLs.
Contact: Thomas Thüm, Sebastian Krieter
OxiDD is a modular, safe, and performant decision diagram framework written in Rust. It supports various kinds of diagrams, interfaces to C++ and Python, and provides large-scale and interactive diagram visualizations through OxiDD-vis.
Contact: Nils Husung, Tar van Krieken, Clemens Dubslaff
ProFeat is a feature-oriented modeling language to describe families of probabilistic systems, as well as a framework for family-based model checking.
Contact: Philipp Chrszon, Clemens Dubslaff