Forgot your password?
Document Actions
FaMa Tool Suite
FaMa Tool Suite is considered to serve as the base framework for the adaptation reasoning & validation engine of DiVA work package 4.
FaMa Tool Suite is based on several tools. One of them is FaMa-FW that 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 are implemented). FaMa is the first tool integrating different solvers for the automated analysis of feature models. FaMa is published under the GNU Lesser General Public License.
DiVA Open Source Project Web Site available now!
