Automated Reasoning on Feature Models via Constraint Programming 

Feature models are often used in software product lines to represent a set of products and reason over their properties, similarities and differences, costs, etc. The problem becomes automating such reasoning which translates into a positive impact in terms of production, cost, and creation of the final products. To approach this matter we take advantage of the benefits of the constraint programming technology, which has proven to be most effective when solving problems of large complexity. Throughout the thesis we state the reasons for choosing this tool, evaluating its advantages and drawbacks, and showing results that support the conveniences of using constraint programming. Keywords: feature models, software product lines, constraint programming