Adding stand-alone cut computation to GIA.

This commit is contained in:
Alan Mishchenko 2017-04-05 22:03:16 -07:00
parent 2373c5b15c
commit 70b11df926
1 changed files with 1 additions and 0 deletions

View File

@ -14,6 +14,7 @@ SRC += src/aig/gia/giaAig.c \
src/aig/gia/giaCSatOld.c \
src/aig/gia/giaCSat.c \
src/aig/gia/giaCTas.c \
src/aig/gia/giaCut.c \
src/aig/gia/giaDfs.c \
src/aig/gia/giaDup.c \
src/aig/gia/giaEdge.c \