Skip to content

A
abc
Commit 18ed4d34 by Alan Mishchenko
Options

Added DSD-based collapsing &dsd.

parent 97e620a4
Showing with 1 additions and 0 deletions
src/aig/gia/module.make
...@@ -7,6 +7,7 @@ SRC += src/aig/gia/giaAig.c \ ...@@ -7,6 +7,7 @@ SRC += src/aig/gia/giaAig.c \
src/aig/gia/giaBidec.c \ src/aig/gia/giaBidec.c \
src/aig/gia/giaCCof.c \ src/aig/gia/giaCCof.c \
src/aig/gia/giaCex.c \ src/aig/gia/giaCex.c \
src/aig/gia/giaClp.c \
src/aig/gia/giaCof.c \ src/aig/gia/giaCof.c \
src/aig/gia/giaCone.c \ src/aig/gia/giaCone.c \
src/aig/gia/giaCSatOld.c \ src/aig/gia/giaCSatOld.c \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment