Abstract- Software product lines (SPL) support the concept of software mass production and customization by defining the commonalities and variability of related software products using a notion of features. The features of SPLs and their interdependencies are typically organized in feature models. These capture the product variations by defining permissible feature combinations. Analysis of features models aims to extract valuable information and build a better software product line. The current implementation of automated analysis of feature models in Abstract Behavioral Specification (ABS) is using Choco Solver 2,a Java Library for constraint satisfaction problems. Our work in this research was to port in the implementation to the newest version of Choco Solver ,namely Choco 4. Additionally, we expended the set of feature model analyses by adding new useful operations. An evaluation has been conducted to analyze the time performance. As a results, Choco 2 outperformed Choco 4 in case of deriving all solutions, whilw Choco 4 is better when deriving single solution.