SRC +=  src/sat/fraig/fraigApi.c \
	src/sat/fraig/fraigCanon.c \
	src/sat/fraig/fraigFanout.c \
	src/sat/fraig/fraigFeed.c \
	src/sat/fraig/fraigMan.c \
	src/sat/fraig/fraigMem.c \
	src/sat/fraig/fraigNode.c \
	src/sat/fraig/fraigPrime.c \
	src/sat/fraig/fraigSat.c \
	src/sat/fraig/fraigTable.c \
	src/sat/fraig/fraigUtil.c \
	src/sat/fraig/fraigVec.c
