Feature Model Analysis

Feature models are a compact representation of all the products of a software product line in terms of “features”. Feature models are commonly visually represented by means of feature diagrams, and are widely used during development process. The goals of this project will be to represent a feature model programmatically using Satisfiability Modulo Theories (SMT) and enable reasoning.