checks whether (fm and dnf.
checks whether (fm and dnf.not) is satisfiable
dnf is the disjunctive normal form of the negated(!) expression
This pair contains the model that was constructed during the last isSatisfiable call (if the result was true).
This pair contains the model that was constructed during the last isSatisfiable call (if the result was true). The first element contains the names of the features set to true, the second contains the names of the false features.
init / constructor