7b5f0770c7db6984519eae1dc4a7b210 *DESCRIPTION
ccbaa4161389b5b0a7879e171e07bec9 *NAMESPACE
ad68b8eadfe044cbf35598a833bff2a3 *NEWS.md
08693a67597a17501f41a60d71cf2d4a *R/CORAtool-package.R
db1df035f3c338a843c5a9d7e0fe27c5 *R/context.R
1dc152932f2258116944abff07c3e45c *R/data.R
6d4cb967af83885817a9e09c9a27e044 *R/implicants.R
8d4e3c3a7e5e5ff0116ffb746159008d *R/logigram.R
bbc3ce18d55328d5bc92666326da04e8 *R/mining.R
905433d2412794aa0ae57b02a6adf1ce *R/multiply.R
c13c9e09724962d7e1757702c86af435 *R/ondc.R
9d3789a92b33d74e6e6322dea6ae9182 *R/onoff.R
5310cd31396ef2a217a1943ce2c419b2 *R/petrick.R
759fdbc232c1526d6beb27a37567b4e5 *R/prime_implicants.R
f5584c4d160cac717a33463fad3fceff *R/reticulate.R
45e5dde4a66e684aaf2c5ed03e160ab0 *R/systems.R
87f652a463f37fa77fcccc04b76e76d5 *R/tables.R
f57c451044f22f3dc2b01e30c9689ea5 *R/utils.R
8661e82a5372ebe9dddf52f479eb7aed *README.md
20c8d3f97d93e2e318a22508275b5a02 *build/partial.rdb
50f3eae9e0cecfcabb5a75f8fb0d7a5e *build/vignette.rds
8f24a1577481c130f6399d1b2560fbe1 *data/bergschlosser.rda
973d53842e86fb0a071bb844a975abed *data/gross_carvin.rda
7c9bca270065dda90b3520a5d72eabfd *data/mccluskey.rda
75822a6db365c14f1df351ad03a0fffd *data/swiss_minaret.rda
3e89b41352e981100c97a8781aae2242 *inst/CITATION
97d05a7c73daf452d3d35be53696f0ad *inst/NOTICE
29633da54387846471653ec9e54b2b45 *inst/doc/cora.R
7d96807e13bcf27eb2709df0fc3ec193 *inst/doc/cora.Rmd
16816f3593f4e49ff0d0a0b13f94a905 *inst/doc/cora.html
d04865c8c4f6895df447661f72ecdb3b *inst/docs/manual_en.md
03d3d6c96063c1003afd9389e3506b1a *inst/docs/manual_zh-TW.md
0b726914dc947809ec1b6150886f7d96 *inst/examples/getting-started.R
dad15ed9f198cb111045ba4cfa3c88b8 *man/CORAtool-package.Rd
7081bd50a4321cb986cef88900fe0f77 *man/bergschlosser.Rd
2c371a8f8c722a57fc8b5f26d46e763b *man/cora_compare_python.Rd
9adac27a9e29d2ae0ea40488e24eba4a *man/cora_context.Rd
1f1fde42836f9cedcae0bac3c6efa049 *man/cora_coverage_score.Rd
97b7a9e29196530ae61b65d59c048cbe *man/cora_data_mining.Rd
58a98ca2dc085d8ddf3fb145422e738e *man/cora_describe.Rd
27fa0bc16b6f9684d90c055b8eff8dc8 *man/cora_dnf.Rd
c3f8e954a13d99cfd11c33cd372a7023 *man/cora_irredundant_sums.Rd
e7fa3d4a9b8be8a94e53c9573b25a694 *man/cora_irredundant_systems.Rd
2c9f85ffb88739bc28586bb8110c384f *man/cora_logigram.Rd
8ca36a545a716ecf84caf1b79b3c718b *man/cora_petrick.Rd
31dfd5a663a749dc4bfb7925dc1455d1 *man/cora_pi_chart.Rd
b30d3f0edc8483e6ad9514ca52836537 *man/cora_pi_details.Rd
c1da8c8a49b6574680e8e36c4c38e212 *man/cora_prime_implicants.Rd
69ab601aabcc508dc6bbfdf4e95c3a0e *man/cora_python_available.Rd
91127aceb1a5eb101e47e9509acdadfe *man/cora_recode.Rd
8e3c56d9aa84eaea80caba089ffb767c *man/cora_solutions.Rd
24bb6a08e3e26e1019923ab358ca24d2 *man/cora_system_details.Rd
086a35a065b99499cc8716561bf12848 *man/cora_truth_table.Rd
c41eb767d57996396eb26ec48700d7de *man/gross_carvin.Rd
5cae3705064799a99b8de6bfe63bf538 *man/mccluskey.Rd
261bcc2568e63407c3d6802bffd0b740 *man/swiss_minaret.Rd
c604ab051ca90add4d200b16c4804cf8 *tests/testthat.R
cba772152cd93051eb051642de84d0ac *tests/testthat/test-context.R
d1b6400f460f2eb8d85830e68beb19e5 *tests/testthat/test-logigram.R
1ad2c84c43fc6340402c467b7245e389 *tests/testthat/test-mining.R
301bf255cf6d63d69ea1df9801249a33 *tests/testthat/test-petrick.R
7c3f20f941f946a8c4781c3953ddc26c *tests/testthat/test-prime-implicants.R
3433bbbe5ba2988137c6f5320a88703a *tests/testthat/test-properties.R
ff27dac6ce765811955ae7c07c9a23e2 *tests/testthat/test-scale.R
dd4655fac4f22578d579163ef650bcd0 *tests/testthat/test-solutions.R
1dcc1b10c7c357316e68573ff72df14c *tests/testthat/test-validation.R
7d96807e13bcf27eb2709df0fc3ec193 *vignettes/cora.Rmd
