UNPKG

espresso-logic-minimizer

Version:

A NodeJS bridge to the Espresso heuristic logic minimizer

github.com/scottinet/espresso-logic-minimizer

scottinet/espresso-logic-minimizer

63 files
../
COPYING
740 B
Makefile
248 B
README
357 B
black_white.c
8.97 kB
canonical.c
1.39 kB
cofactor.c
10.5 kB
cols.c
5.62 kB
compl.c
17.7 kB
contain.c
12.6 kB
copyright.h
936 B
cpu_time.c
1.51 kB
cubestr.c
4.35 kB
cvrin.c
22.8 kB
cvrm.c
12.1 kB
cvrmisc.c
3.03 kB
cvrout.c
13.3 kB
dominate.c
2.25 kB
equiv.c
2.03 kB
espresso.c
3.47 kB
espresso.h
37.3 kB
essen.c
4.29 kB
essentiality.c
8.12 kB
exact.c
3.94 kB
expand.c
20.6 kB
gasp.c
6.13 kB
gimpel.c
2.21 kB
globals.c
2.65 kB
hack.c
17.7 kB
indep.c
2.95 kB
irred.c
10.7 kB
main.c
19.7 kB
main.h
4.13 kB
map.c
3.05 kB
matrix.c
11.7 kB
mincov.c
9.95 kB
mincov.h
107 B
mincov_int.h
1.66 kB
opo.c
16.2 kB
pair.c
17.9 kB
part.c
2.1 kB
port.h
4.1 kB
primes.c
3.66 kB
prtime.c
385 B
reduce.c
7.2 kB
rows.c
5.63 kB
set.c
17.8 kB
setc.c
12.3 kB
sharp.c
4.97 kB
sigma.c
1.62 kB
signature.c
3.47 kB
signature.h
2.77 kB
signature_exact.c
1.64 kB
sminterf.c
646 B
solution.c
1.55 kB
sparse.c
3.33 kB
sparse.h
5.32 kB
sparse_int.h
2.44 kB
strdup.c
261 B
strdup.h
101 B
unate.c
10.4 kB
util_signature.c
2.62 kB
utility.h
937 B
verify.c
4.48 kB