Verifying and configuring large Software Product Lines (SPL) requires automation tools. Current state-of-the-art approaches involve translating into a formalism accepted as input by a constraint solver. There are currently no standards for the Variability Modeling Languages (VML). There is also a variety of constraint solver input languages. This has resulted in a multiplication of ad-hoc architectures and tools specialized for a single pair of VML and solver, fragmenting the SPL community. To overcome this limita- tion, we propose a novel architecture based on model-driven code generation, where the syntax and semantics of VMLs can be declarative specified as data, and a standard, human- readable, formal pivot language is used between the VML and the solver input language. This architecture is the first to be fully generic by being agnostic to both VML and the solver family. To validate the genericity of the approach, we have implemented a prototype tool together with declarative specifications for the syntax and semantics of two different VMLs and two different solver Families. One VML is for clas- sic, static SPL (Feature Model) and the other is for run-time reconfigurable dynamic SPL with soft constraints to be optimized during configuration. The two solver fami- lies are Constraint Satisfaction Problems (CSP) and Constraint Logic Programs (CLP).