Prototyping Software Product Lines analysis with Pharo
Using Constraint Programming to Reason on Feature Models