LazyLib

sat

lastModel

SatSolverImpl

lastVarId

BDDFeatureModel SATFeatureModel SATBasedFeatureModel

loadDimacsData

FeatureModelFactory

long2value

FeatureExprValueOps