cnaOpt                  Find atomic solution formulas with optimal
                        consistency and coverage
conCovOpt               Find consistency and coverage optima for
                        configurational data
conCovOpt_utils         Build disjunctive normal forms realizing
                        con-cov optima
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
selectMax               Select the con-cov optima from a "conCovOpt"
                        object that maximize a specified optimality
                        criterion
