cnaOpt                  Find atomic solution formulas with optimal
                        consistency and coverage
conCovOpt               Find consistency and coverage optima for
                        configurational data
ereduce                 Eliminate redundancies from disjunctive normal
                        forms (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 optimum from a "conCovOpt"
                        object that is best according to a specified
                        optimality criterion
