LogicOpt: Truth Table Logic Optimizer
Version 1.0.0

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.

Browse man pages Browse package API and functions Browse package files

AuthorWilliam Stiehl [aut, cre, cph]
Date of publication2016-05-07 01:27:50
MaintainerWilliam Stiehl <wwstiehl@gmail.com>
LicenseGPL (>= 2)
Version1.0.0
Package repositoryView on CRAN
InstallationInstall the latest version of this package by entering the following in R:
install.packages("LogicOpt")

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

Functions

LogicOpt Man page
LogicOpt-package Man page
QCAtt2LOtt Man page
esp_R Source code
l.partybans.0 Man page
l.partybans.1 Man page
l.represent.0 Man page
l.represent.1 Man page
l.robot1 Man page
l.small Man page
logicopt Man page
num_input_values Man page
print_multi_tt Man page
print_primes_tt Man page
tt2eqn Man page

Files

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