feature-models
Characterization and visualization of feature models using a fact label
A d-DNNF reasoner.