cnaOpt                  Find atomic solution formulas with optimal
                        consistency and coverage
conCovOpt               Find consistency and coverage optima for
                        configurational data
ereduce                 Find all minimal disjunctive normal forms (DNF)
                        of an input DNF
findOutcomes            Identify the factors that can possibly be
                        modeled as outcomes prior to running CNA
reprodAssign            Build disjunctive normal forms realizing
                        con-cov optima
selectMax               Select the con-cov optima from a "conCovOpt"
                        object that maximize a specified optimality
                        criterion
