LogicOpt: Truth Table Logic Optimizer

Access to powerful logic minimization algorithms and data structures that operate on a sum-of-products truth table. The core algorithms are built on Espresso Version 2.3 developed at UC Berkeley for digital logic synthesis purposes. Enhancements have been made to integrate within the R framework and support additional logic optimization use cases such as those needed by Qualitative Comparative Analysis (QCA) and Genetic Programming. There are no expressed or implied warranties.

AuthorWilliam Stiehl [aut, cre, cph]
Date of publication2016-05-07 01:27:50
MaintainerWilliam Stiehl <wwstiehl@gmail.com>
LicenseGPL (>= 2)
Version1.0.0

View on CRAN

Files

LogicOpt
LogicOpt/inst
LogicOpt/inst/CITATION
LogicOpt/inst/COPYRIGHTS
LogicOpt/inst/extdata
LogicOpt/inst/extdata/espresso
LogicOpt/inst/extdata/espresso/small.esp
LogicOpt/inst/extdata/espresso/robot1_in.csv
LogicOpt/inst/extdata/espresso/misex3.esp
LogicOpt/inst/extdata/espresso/pdc.esp
LogicOpt/inst/extdata/espresso/cmu.esp
LogicOpt/inst/extdata/espresso/ex1010.esp
LogicOpt/inst/extdata/espresso/small2.esp
LogicOpt/inst/extdata/espresso/small.csv
LogicOpt/inst/extdata/espresso/error.esp
LogicOpt/inst/extdata/espresso/robot1_in.esp
LogicOpt/inst/extdata/espresso/health.esp
LogicOpt/inst/extdata/espresso/robot2_in.esp
LogicOpt/inst/extdata/raw_qca
LogicOpt/inst/extdata/raw_qca/represent.csv
LogicOpt/inst/extdata/raw_qca/partybans.csv
LogicOpt/tests
LogicOpt/tests/testthat.R
LogicOpt/tests/testthat
LogicOpt/tests/testthat/test.logicopt.R
LogicOpt/tests/testthat/test.num_input_vals.R
LogicOpt/tests/testthat/test.espfile.R
LogicOpt/tests/testthat/test.error.R
LogicOpt/tests/testthat/test.big_esp.R
LogicOpt/src
LogicOpt/src/solution.c
LogicOpt/src/sharp.c
LogicOpt/src/matrix.c
LogicOpt/src/Makevars
LogicOpt/src/rows.c
LogicOpt/src/set.c
LogicOpt/src/verify.c
LogicOpt/src/irred.c
LogicOpt/src/mincov_int.h
LogicOpt/src/espresso.h
LogicOpt/src/mincov.h
LogicOpt/src/contain.c
LogicOpt/src/r_main.c
LogicOpt/src/indep.c
LogicOpt/src/part.c
LogicOpt/src/main.h
LogicOpt/src/setc.c
LogicOpt/src/mincov.c
LogicOpt/src/sparse.h
LogicOpt/src/utility.h
LogicOpt/src/cols.c
LogicOpt/src/cpu_time.c
LogicOpt/src/gimpel.c
LogicOpt/src/cubestr.c
LogicOpt/src/unate.c
LogicOpt/src/cofactor.c
LogicOpt/src/globals.c
LogicOpt/src/compl.c
LogicOpt/src/cvrmisc.c
LogicOpt/src/cvrout.c
LogicOpt/src/expand.c
LogicOpt/src/port.h
LogicOpt/src/dominate.c
LogicOpt/src/primes.c
LogicOpt/src/sparse.c
LogicOpt/src/cvrm.c
LogicOpt/src/essen.c
LogicOpt/src/map.c
LogicOpt/src/sparse_int.h
LogicOpt/src/sminterf.c
LogicOpt/src/exact.c
LogicOpt/src/espresso.c
LogicOpt/src/reduce.c
LogicOpt/src/prtime.c
LogicOpt/src/cvrin.c
LogicOpt/src/hack.c
LogicOpt/src/copyright.h
LogicOpt/src/gasp.c
LogicOpt/NAMESPACE
LogicOpt/data
LogicOpt/data/l.partybans.0.RData
LogicOpt/data/l.small.RData
LogicOpt/data/l.represent.1.RData
LogicOpt/data/l.represent.0.RData
LogicOpt/data/l.robot1.RData
LogicOpt/data/l.partybans.1.RData
LogicOpt/R
LogicOpt/R/l.partybans.0-data.R LogicOpt/R/l.represent.1-data.R LogicOpt/R/l.small-data.R LogicOpt/R/l.partybans.1-data.R LogicOpt/R/l.represent.0-data.R LogicOpt/R/logicopt.R LogicOpt/R/l.robot1-data.R LogicOpt/R/qca.R
LogicOpt/MD5
LogicOpt/DESCRIPTION
LogicOpt/man
LogicOpt/man/l.partybans.1.Rd LogicOpt/man/print_primes_tt.Rd LogicOpt/man/l.robot1.Rd LogicOpt/man/QCAtt2LOtt.Rd LogicOpt/man/LogicOpt.package.Rd LogicOpt/man/print_multi_tt.Rd LogicOpt/man/l.represent.1.Rd LogicOpt/man/tt2eqn.Rd LogicOpt/man/num_input_values.Rd LogicOpt/man/l.small.Rd LogicOpt/man/l.represent.0.Rd LogicOpt/man/l.partybans.0.Rd LogicOpt/man/logicopt.Rd

Questions? Problems? Suggestions? or email at ian@mutexlabs.com.

Please suggest features or report bugs with the GitHub issue tracker.

All documentation is copyright its authors; we didn't write any of that.