| cnaOpt | Find atomic solution formulas with optimal consistency and coverage |
| conCovOpt | Find consistency and coverage optima for configurational data |
| DNFbuild | 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 |
| multipleMax | Select the con-cov optima from a "conCovOpt" object that maximize a specified optimality criterion |
| plot.conCovOpt | Find consistency and coverage optima for configurational data |
| print.conCovOpt | Find consistency and coverage optima for configurational data |
| 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 |