| 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 | Eliminate redundancies from disjunctive normal forms (DNF) |
| findOutcomes | Identify the factors that can possibly be modeled as outcomes prior to running CNA |
| multipleMax | Select the con-cov optimum from a "conCovOpt" object that is best according to 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 |
| rreduce | Eliminate redundancies from disjunctive normal forms (DNF) |
| selectMax | Select the con-cov optimum from a "conCovOpt" object that is best according to a specified optimality criterion |