{ "_id": "6ac62a3af511ae58c09a6fa2", "Package": "CORAtool", "Type": "Package", "Title": "Combinational Regularity Analysis", "Version": "0.1.2", "Authors@R": "c(\nperson(\"Young\", \"Chan\", email = \"youngchanresearcher@gmail.com\",\nrole = c(\"aut\", \"cre\", \"cph\"),\ncomment = \"Author of the R implementation\"),\nperson(\"Zuzana\", \"Sebechlebská\", role = \"cph\",\ncomment = \"Copyright holder of the original Python implementation\"),\nperson(\"Lusine\", \"Mkrtchyan\", role = \"cph\",\ncomment = \"Copyright holder of the original Python implementation\"),\nperson(\"Alrik\", \"Thiem\", role = \"cph\",\ncomment = \"Copyright holder of the original Python implementation\")\n)", "Description": "Searches configurational data for causes that are each an\ninsufficient but non-redundant part of an unnecessary but\nsufficient (INUS) condition for their effect, so that\ncause-effect relations are marked by conjunctivity and\ndisjunctivity. The method, Combinational Regularity Analysis\n(CORA), borrows its Boolean minimisation algorithms from\nswitching circuit analysis. Truth tables are minimised either\nwith the classical Quine-McCluskey algorithm over positive and\ndon't care terms or with McCluskey's modified algorithm over\npositive and negative terms, and the resulting prime implicant\ncharts are solved with Petrick's method. Multi-value conditions\nand structures with simple as well as complex effects are\nsupported, together with a configurational data-mining search\nand two-level logic diagrams. The package is an R port of the\n'Python' packages 'CORA' and 'LOGIGRAM' described in\nSebechlebská, Mkrtchyan and Thiem (2023)\n; it computes in plain R and requires\nno 'Python' installation. It is an independent implementation\nand is not endorsed by the authors of the original packages.", "License": "GPL (>= 3)", "Encoding": "UTF-8", "LazyData": "true", "VignetteBuilder": "knitr", "Config/testthat/edition": "3", "URL": "https://github.com/youngchanresearcher/CORAtool", "BugReports": "https://github.com/youngchanresearcher/CORAtool/issues", "NeedsCompilation": "no", "Roxygen": "list(markdown = TRUE)", "RoxygenNote": "7.3.1", "Repository": "https://youngchanresearcher.r-universe.dev", "Date/Publication": "2026-09-25 20:13:02 UTC", "RemoteUrl": "https://github.com/youngchanresearcher/coratool", "RemoteRef": "HEAD", "RemoteSha": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "Packaged": { "Date": "2026-10-07 09:19:41 UTC", "User": "root" }, "Author": "Young Chan [aut, cre, cph] (Author of the R implementation),\nZuzana Sebechlebská [cph] (Copyright holder of the original Python\nimplementation),\nLusine Mkrtchyan [cph] (Copyright holder of the original Python\nimplementation),\nAlrik Thiem [cph] (Copyright holder of the original Python\nimplementation)", "Maintainer": "Young Chan ", "_user": "youngchanresearcher", "_type": "src", "_file": "CORAtool_0.1.2.tar.gz", "_fileid": "https://r2.ropensci.org/9bd3a6af2101db862943c4ec47b19d81dce06e2f41695d79b29666188f402af2", "_filesize": 329226, "_sha256": "9bd3a6af2101db862943c4ec47b19d81dce06e2f41695d79b29666188f402af2", "_expires": "2027-01-15T11:17:12.000Z", "_created": "2026-10-07T09:19:41.000Z", "_published": "2026-10-07T11:17:14.639Z", "_buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200", "_status": "success", "_host": "GitHub-Actions", "_jobs": [ { "job": 112721365312, "time": 128, "config": "linux-devel-x86_64", "r": "4.7.0", "check": "OK", "artifact": "11473100513" }, { "job": 112721365206, "time": 120, "config": "linux-release-x86_64", "r": "4.6.1", "check": "OK", "artifact": "11472860893" }, { "job": 112721365363, "time": 179, "config": "macos-oldrel-arm64", "r": "4.5.3", "check": "OK", "artifact": "11478505558" }, { "job": 112721365350, "time": 163, "config": "macos-release-arm64", "r": "4.6.1", "check": "OK", "artifact": "11478109161" }, { "job": 112717559096, "time": 150, "config": "source", "r": "4.6.1", "check": "OK", "artifact": "11472565439" }, { "job": 112721365268, "time": 83, "config": "wasm-release", "r": "4.6.0", "check": "OK", "artifact": "11472911231" }, { "job": 112721365181, "time": 90, "config": "windows-devel-x86_64", "r": "4.7.0", "check": "OK", "artifact": "11472471228" }, { "job": 112721365289, "time": 90, "config": "windows-oldrel-x86_64", "r": "4.5.3", "check": "OK", "artifact": "11471729294" }, { "job": 112721365211, "time": 86, "config": "windows-release-x86_64", "r": "4.6.1", "check": "OK", "artifact": "11471474475" } ], "_upstream": "https://github.com/youngchanresearcher/coratool", "_commit": { "id": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "author": "youngchanresearcher ", "committer": "GitHub ", "message": "Merge pull request #2 from youngchanresearcher/claude/eloquent-bell-ytxu2v\n\nMove the check workflow to actions/checkout v5", "time": 1790367182 }, "_maintainer": { "name": "Young Chan", "email": "youngchanresearcher@gmail.com", "login": "youngchanresearcher", "description": "", "uuid": 326983188 }, "_distro": "resolute", "_registered": true, "_dependencies": [ { "package": "R", "version": ">= 3.5.0", "role": "Depends" }, { "package": "graphics", "role": "Imports" }, { "package": "stats", "role": "Imports" }, { "package": "utils", "role": "Imports" }, { "package": "testthat", "version": ">= 3.0.0", "role": "Suggests" }, { "package": "reticulate", "role": "Suggests" }, { "package": "knitr", "role": "Suggests" }, { "package": "rmarkdown", "role": "Suggests" } ], "_owner": "youngchanresearcher", "_selfowned": true, "_usedby": 0, "_updates": [ { "week": "2026-37", "n": 2 }, { "week": "2026-38", "n": 2 }, { "week": "2026-39", "n": 3 } ], "_tags": [], "_stars": 0, "_contributors": [ { "user": "youngchanresearcher", "count": 33, "uuid": 326983188 } ], "_userbio": { "uuid": 326983188, "type": "user", "name": "youngchanresearcher", "followers": 0 }, "_downloads": { "count": 7, "source": "https://cranlogs.r-pkg.org/downloads/total/last-month/CORAtool" }, "_devurl": "https://github.com/youngchanresearcher/coratool", "_searchresults": 0, "_rbuild": "4.6.1", "_assets": [ "extra/citation.cff", "extra/citation.html", "extra/citation.json", "extra/citation.txt", "extra/contents.json", "extra/CORAtool.html", "extra/manual.pdf", "extra/NEWS.html", "extra/NEWS.txt", "extra/readme.html", "extra/readme.md" ], "_homeurl": "https://github.com/youngchanresearcher/coratool", "_realowner": "youngchanresearcher", "_cranurl": true, "_releases": [ { "version": "0.1.2", "date": "2026-10-05" } ], "_exports": [ "cora_compare_python", "cora_context", "cora_coverage_score", "cora_data_mining", "cora_describe", "cora_dnf", "cora_inclusion_score", "cora_irredundant_sums", "cora_irredundant_systems", "cora_logigram", "cora_petrick", "cora_pi_chart", "cora_pi_details", "cora_prime_implicants", "cora_python_available", "cora_recode", "cora_solutions", "cora_system_details", "cora_truth_table" ], "_datasets": [ { "name": "bergschlosser", "title": "Berg-Schlosser and De Meur's praetorianism data", "object": "bergschlosser", "class": [ "data.frame" ], "fields": [ "Case", "AGRPOP", "PARCL", "APROG", "PS", "RQ", "LRC", "AUTH", "DEM", "PRAET" ], "rows": 48, "table": true, "tojson": true }, { "name": "gross_carvin", "title": "Tort liability of highway authorities", "object": "gross_carvin", "class": [ "data.frame" ], "fields": [ "Case", "PRIC", "LENG", "UPSI", "DOSI", "RISK", "FRFL", "MIMA", "TORT" ], "rows": 18, "table": true, "tojson": true }, { "name": "mccluskey", "title": "McCluskey's two-output switching function", "object": "mccluskey", "class": [ "data.frame" ], "fields": [ "A", "B", "C", "D", "F1", "F2" ], "rows": 16, "table": true, "tojson": true }, { "name": "swiss_minaret", "title": "Swiss minaret referendum", "object": "swiss_minaret", "class": [ "data.frame" ], "fields": [ "A", "L", "S", "T", "X", "M" ], "rows": 11, "table": true, "tojson": true } ], "_help": [ { "page": "bergschlosser", "title": "Berg-Schlosser and De Meur's praetorianism data", "topics": [ "bergschlosser" ] }, { "page": "cora_compare_python", "title": "Cross-check a result against the Python implementation", "topics": [ "cora_compare_python" ] }, { "page": "cora_context", "title": "Create an optimisation context", "topics": [ "cora_context" ] }, { "page": "cora_coverage_score", "title": "Sufficiency statistics of a prime implicant", "topics": [ "cora_coverage_score", "cora_inclusion_score" ] }, { "page": "cora_data_mining", "title": "Configurational data mining", "topics": [ "cora_data_mining" ] }, { "page": "cora_describe", "title": "Descriptive rendering of a solution", "topics": [ "cora_describe" ] }, { "page": "cora_dnf", "title": "Disjunctive normal form of a solution", "topics": [ "cora_dnf" ] }, { "page": "cora_irredundant_sums", "title": "Irredundant sums of a single-outcome analysis", "topics": [ "cora_irredundant_sums" ] }, { "page": "cora_irredundant_systems", "title": "Irredundant systems of a multi-outcome analysis", "topics": [ "cora_irredundant_systems" ] }, { "page": "cora_logigram", "title": "Draw a two-level logic diagram", "topics": [ "cora_logigram", "cora_logigram.cora_context", "cora_logigram.cora_system", "cora_logigram.cora_system_multi", "cora_logigram.default" ] }, { "page": "cora_petrick", "title": "Solve a prime implicant chart with Petrick's method", "topics": [ "cora_petrick" ] }, { "page": "cora_pi_chart", "title": "Prime implicant chart", "topics": [ "cora_pi_chart" ] }, { "page": "cora_pi_details", "title": "Statistical overview of the prime implicants", "topics": [ "cora_pi_details" ] }, { "page": "cora_prime_implicants", "title": "Prime implicants of an optimisation context", "topics": [ "cora_prime_implicants" ] }, { "page": "cora_python_available", "title": "Is the Python CORA package reachable?", "topics": [ "cora_python_available" ] }, { "page": "cora_recode", "title": "Recode conditions onto 0, 1, 2, ...", "topics": [ "cora_recode" ] }, { "page": "cora_solutions", "title": "Solution summary table", "topics": [ "cora_solutions" ] }, { "page": "cora_system_details", "title": "Statistical overview of a solution", "topics": [ "cora_system_details" ] }, { "page": "cora_truth_table", "title": "Truth table of an optimisation context", "topics": [ "cora_truth_table" ] }, { "page": "gross_carvin", "title": "Tort liability of highway authorities", "topics": [ "gross_carvin" ] }, { "page": "mccluskey", "title": "McCluskey's two-output switching function", "topics": [ "mccluskey" ] }, { "page": "swiss_minaret", "title": "Swiss minaret referendum", "topics": [ "swiss_minaret" ] } ], "_readme": "https://github.com/youngchanresearcher/coratool/raw/HEAD/README.md", "_rundeps": [], "_vignettes": [ { "source": "cora.Rmd", "filename": "cora.html", "title": "Combinational Regularity Analysis with CORAtool", "engine": "knitr::rmarkdown", "headings": [ "The question this method asks", "The data", "Five stages", "Reading the result", "Multi-value conditions", "Complex effects", "Diagrams", "Choosing the algorithm", "Coding", "When there are too many solutions", "Searching for a smaller model", "Relation to the Python implementation", "Caveats worth carrying", "Extended manual" ], "created": "2026-09-24 05:51:45", "modified": "2026-09-24 05:51:45", "commits": 1 } ], "_score": 4.176091259055681, "_indexed": true, "_nocasepkg": "coratool", "_universes": [ "youngchanresearcher" ], "_binaries": [ { "r": "4.7.0", "os": "linux", "version": "0.1.2", "date": "2026-10-07T09:28:34.000Z", "distro": "resolute", "commit": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "fileid": "https://r2.ropensci.org/ca1cac1d9371c489d82685dbf3a54f218cbcc2b48a31139eb7d5eb0ed8f30abe", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200" }, { "r": "4.6.1", "os": "linux", "version": "0.1.2", "date": "2026-10-07T09:28:32.000Z", "distro": "resolute", "commit": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "fileid": "https://r2.ropensci.org/e7733d6f0b1e6e525b7afd2c0d85e941cca15b0dc783b7e54acb884d942214b6", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200" }, { "r": "4.5.3", "os": "mac", "version": "0.1.2", "date": "2026-10-07T11:16:04.000Z", "commit": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "fileid": "https://r2.ropensci.org/61ad1ea57b275c363b6595c95341a118056581dd81d0082ac52e1d5d39bb2f5c", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200" }, { "r": "4.6.1", "os": "mac", "version": "0.1.2", "date": "2026-10-07T11:12:29.000Z", "commit": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "fileid": "https://r2.ropensci.org/134f813954ec60a32e64a8e54715cc0d5a0a59e89ade2c2e89d02f5db44c2c9e", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200" }, { "r": "4.6.0", "os": "wasm", "version": "0.1.2", "date": "2026-10-07T09:28:24.000Z", "commit": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "fileid": "https://r2.ropensci.org/7ad28ecea1a59fe3ec6a350e57a76c100e46ae1ae40cb34e799263ddecf406cc", "status": "success", "buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200" }, { "r": "4.7.0", "os": "win", "version": "0.1.2", "date": "2026-10-07T09:22:13.000Z", "commit": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "fileid": "https://r2.ropensci.org/23f30ec6423377b3210434e98ba35768b2f43ed162303a88d37fb6b41001679c", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200" }, { "r": "4.5.3", "os": "win", "version": "0.1.2", "date": "2026-10-07T09:22:25.000Z", "commit": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "fileid": "https://r2.ropensci.org/295e8c59f077373fa84d81e4385f9e77f6924d791dc10f8404ad457cf49d1a70", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200" }, { "r": "4.6.1", "os": "win", "version": "0.1.2", "date": "2026-10-07T09:22:22.000Z", "commit": "43a9d056e83d0c01356a8cab345bab3d87ba6733", "fileid": "https://r2.ropensci.org/73f72aa4d9a4e83b17b7dbf330c2ab03b8e70b8030d8341df13f3088956470f5", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/youngchanresearcher/actions/runs/37597717200" } ] }