Package: CORAtool 0.1.2
CORAtool: Combinational Regularity Analysis
Searches configurational data for causes that are each an insufficient but non-redundant part of an unnecessary but sufficient (INUS) condition for their effect, so that cause-effect relations are marked by conjunctivity and disjunctivity. The method, Combinational Regularity Analysis (CORA), borrows its Boolean minimisation algorithms from switching circuit analysis. Truth tables are minimised either with the classical Quine-McCluskey algorithm over positive and don't care terms or with McCluskey's modified algorithm over positive and negative terms, and the resulting prime implicant charts are solved with Petrick's method. Multi-value conditions and structures with simple as well as complex effects are supported, together with a configurational data-mining search and two-level logic diagrams. The package is an R port of the 'Python' packages 'CORA' and 'LOGIGRAM' described in Sebechlebská, Mkrtchyan and Thiem (2023) <doi:10.21105/joss.05019>; it computes in plain R and requires no 'Python' installation. It is an independent implementation and is not endorsed by the authors of the original packages.
Authors:
CORAtool_0.1.2.tar.gz
CORAtool_0.1.2.zip(r-4.7-any)CORAtool_0.1.2.zip(r-4.6-any)CORAtool_0.1.2.zip(r-4.5-any)
CORAtool_0.1.2.tgz(r-4.6-any)CORAtool_0.1.2.tgz(r-4.5-any)
CORAtool_0.1.2.tar.gz(r-4.7-any)CORAtool_0.1.2.tar.gz(r-4.6-any)
CORAtool_0.1.2.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION |NEWS
card.svg |card.png
CORAtool/json (API)
| # Install 'CORAtool' in R: |
| install.packages('CORAtool', repos = c('https://youngchanresearcher.r-universe.dev', 'https://cloud.r-project.org')) |
Bug tracker:https://github.com/youngchanresearcher/coratool/issues
- bergschlosser - Berg-Schlosser and De Meur's praetorianism data
- gross_carvin - Tort liability of highway authorities
- mccluskey - McCluskey's two-output switching function
- swiss_minaret - Swiss minaret referendum
Last updated from:43a9d056e8. Checks:9 OK. Indexed: yes.
| Target | Result | Time | Files | Syslog |
|---|---|---|---|---|
| linux-devel | OK | 128 | ||
| source / vignettes | OK | 150 | ||
| linux-release | OK | 120 | ||
| macos-release | OK | 163 | ||
| macos-oldrel | OK | 179 | ||
| windows-devel | OK | 90 | ||
| windows-release | OK | 86 | ||
| windows-oldrel | OK | 90 | ||
| wasm-release | OK | 83 |
Exports:cora_compare_pythoncora_contextcora_coverage_scorecora_data_miningcora_describecora_dnfcora_inclusion_scorecora_irredundant_sumscora_irredundant_systemscora_logigramcora_petrickcora_pi_chartcora_pi_detailscora_prime_implicantscora_python_availablecora_recodecora_solutionscora_system_detailscora_truth_table
Dependencies: