bergschlosser           Berg-Schlosser and De Meur's praetorianism data
cora_compare_python     Cross-check a result against the Python
                        implementation
cora_context            Create an optimisation context
cora_coverage_score     Sufficiency statistics of a prime implicant
cora_data_mining        Configurational data mining
cora_describe           Descriptive rendering of a solution
cora_dnf                Disjunctive normal form of a solution
cora_irredundant_sums   Irredundant sums of a single-outcome analysis
cora_irredundant_systems
                        Irredundant systems of a multi-outcome analysis
cora_logigram           Draw a two-level logic diagram
cora_petrick            Solve a prime implicant chart with Petrick's
                        method
cora_pi_chart           Prime implicant chart
cora_pi_details         Statistical overview of the prime implicants
cora_prime_implicants   Prime implicants of an optimisation context
cora_python_available   Is the Python CORA package reachable?
cora_recode             Recode conditions onto 0, 1, 2, ...
cora_solutions          Solution summary table
cora_system_details     Statistical overview of a solution
cora_truth_table        Truth table of an optimisation context
gross_carvin            Tort liability of highway authorities
mccluskey               McCluskey's two-output switching function
swiss_minaret           Swiss minaret referendum
