other
FaMa-FW is a framework for automated analysis of feature models integrating some of the most commonly used logic representations and solvers proposed in the literature (BDD, SAT and CSP solvers). FaMa is the first tool integrating different solvers for automated AAFM.
FaMa-FW is a framework for automated analysis of feature models integrating some of the most commonly used logic representations and solvers proposed in the literature (BDD, SAT and CSP solvers). FaMa is the first tool integrating different solvers for automated AAFM.