CORAtool-package	CORAtool-package
bergschlosser	bergschlosser
CORAtool	CORAtool-package
cora_compare_python	cora_compare_python
cora_context	cora_context
cora_coverage_score	cora_coverage_score
cora_data_mining	cora_data_mining
cora_describe	cora_describe
cora_dnf	cora_dnf
cora_inclusion_score	cora_coverage_score
cora_irredundant_sums	cora_irredundant_sums
cora_irredundant_systems	cora_irredundant_systems
cora_logigram	cora_logigram
cora_logigram.cora_context	cora_logigram
cora_logigram.cora_system	cora_logigram
cora_logigram.cora_system_multi	cora_logigram
cora_logigram.default	cora_logigram
cora_petrick	cora_petrick
cora_pi_chart	cora_pi_chart
cora_pi_details	cora_pi_details
cora_prime_implicants	cora_prime_implicants
cora_python_available	cora_python_available
cora_recode	cora_recode
cora_solutions	cora_solutions
cora_system_details	cora_system_details
cora_truth_table	cora_truth_table
gross_carvin	gross_carvin
mccluskey	mccluskey
swiss_minaret	swiss_minaret
