Files in LogicOpt

Truth Table Logic Optimizer

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 30, 2017, 5:08 a.m.