Propositional (or boolean) feature expressions.
the feature model is a special container for a single feature expression that is used very often in a conjunction
companion object to create feature models
empty feature model
connection to the SAT4j SAT solver