LogicOpt: Truth Table Logic Optimizer

Share:

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.

Author
William Stiehl [aut, cre, cph]
Date of publication
2016-05-07 01:27:50
Maintainer
William Stiehl <wwstiehl@gmail.com>
License
GPL (>= 2)
Version
1.0.0

View on CRAN

Man pages

logicopt
Truth Table Logic Optimization
LogicOpt.package
LogicOpt: A Package for Logic Optimization of Truth Tables...
l.partybans.0
Logicopt truth table created from "partybans.csv" dataset
l.partybans.1
Logicopt truth table created from "partybans.csv" dataset
l.represent.0
Logicopt truth table created from "represent.csv" dataset
l.represent.1
Logicopt truth table created from "represent.csv" dataset
l.robot1
Truth table from a Genetic Programming Use Case
l.small
Espresso truth table with 4 inputs and 3 outputs
num_input_values
Find size of input values
print_multi_tt
Print logicopt() results
print_primes_tt
Print the Primes from logicopt(mode="primes")
QCAtt2LOtt
Create logicopt tt from QCA tt
tt2eqn
Equations from a Truth Table

Files in this package

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